En består av en klasse og for hvert par av objekter en mengde av fra til og for hvert trippel av objekter en sammensettingsfunksjon slik at følgende aksiomer holder Assosiativitet av sammensetningen: Hvis , og , så er . Enhet: For hvert objekt finnes en identitetsmorfi , og og .