per a tot parell X,Y d’objectes de la categoria existeix un conjunt Hom (X,Y), anomenat conjunt de morfismes de X en Y, tal que Hom(X,Y) = Hom(X’,Y’) si i només X=X’ i Y=Y’; i, per a tot triplet X,Y,Z d’objectes de la categoria, existeix una aplicació Hom (Y,Z) x Hom(X,Z)→Hom(X,Z), anomenada composició de morfismes, que satisfà l’associativitat
f
Matemàtiques