associativity of the composition of morphisms

1. Definition

Let \(\mathcal{C}\) be a category and \(f \in \mathrm{Hom}_{\mathcal{C}}(A,B), g \in \mathrm{Hom}_{\mathcal{C}}(B,C), h \in \mathrm{Hom}_{\mathcal{C}}(C,D)\) for objects \(A,B,C,D \in \mathrm{Ob}(\mathcal{C})\) Then the composition of morphisms is associative, i.e.

\begin{align*} h \circ (g \circ f) =& (h \circ g) \circ f \end{align*}

Date: nil

Author: Anton Zakrewski

Created: 2024-10-11 Fr 21:29