Hi -

1) In your initial definition you don't say the identity morphism is called $\mathrm{Id}_A : A \to A$. This is presumably a deliberate trick to make things easier to read. If so, fine.