Kategori forklare forskjellen mellom ein identitet, ei likning, eit algebraisk uttrykk og ein funksjon