factorization (morphism)

Sei \(\mathcal{C}\) eine Kategorie und \(A,B,C \in \mathrm{Ob}(\mathcal{C})\) und \(f: A \rightarrow B\). Eine Faktorisierung von \(f\) ist eine Darstellung:

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

mit \(h: A \rightarrow C\) und \(g: C \rightarrow B\)