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$.

Comment #106 by Edo on

I believe it should say "...morphisms of an object x of ..." instead of "...morphisms of and object x of..."AA

There are also:

• 2 comment(s) on Section 4.2: Definitions

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).