Monomorphismus
1. Definition
Ein Morphismus \(f: A \rightarrow B\) ist ein Monomorphismus oder monisch, wenn für alle Morphismen \(g_1,g_2: C \rightarrow A\) gilt
\begin{align*} f \circ g_1 = f \circ g_2 \Rightarrow g_1 = g_2 \end{align*}2. Bedeutung
Vergleichbar mit injektiv, d.h. "die Informationen bleiben erhalten"