morphism

Let \(\mathcal{C}\) be a category and \(A, B \in \mathrm{Ob}(\mathcal{C})\).

A morphism \(f: A \rightarrow B\) is an object, which satisfies following properties:

• composition of morphisms
• associaciativity of the composition
• identity morphism