Identiteta

Iz MaFiRaWiki

Identiteta na objektu A je odlikovani morfizem 1_A : A \to A v kategoriji, za katerega velja 1_A \circ f = f za vse f : B \to A in g \circ 1_A = g za vse g : A \to B.

Zgledi

Osebna orodja