Izomorfizam u kategoriji CC je bilo koji morfizam f:c→c′f:c\to c' u CC takav da postoji njegov dvostrani inverz f −1:c′→cf^{-1}:c'\to c, tj. f∘f −1=id c′f\circ f^{-1} = id_{c'} i f −1∘f=id cf^{-1}\circ f = id_c.
Created on December 7, 2009 at 16:09:40. See the history of this page for a list of all contributions to it.