Remark 4.2.3. It follows directly from the definition that any two identity morphisms of an object x of \mathcal{A} are the same. Thus we may and will speak of the identity morphism \text{id}_ x of x.
Remark 4.2.3. It follows directly from the definition that any two identity morphisms of an object x of \mathcal{A} are the same. Thus we may and will speak of the identity morphism \text{id}_ x of x.
Comments (2)
Comment #106 by Edo on
Comment #107 by Johan on
There are also: