Monomorphismus/Kategorie/Kürzungseigenschaft/Definition

Monomorphismus

Ein Morphismus ${}\varphi \colon A\rightarrow B$ in einer Kategorie ${}{\mathcal {C}}$ heißt Monomorphismus, wenn für jedes Objekt ${}T\in {\mathcal {C}}$ und Morphismen

$\theta _{1},\theta _{2}\colon T\longrightarrow A$

aus der Gleichheit

${}\varphi \circ \theta _{1}=\varphi \circ \theta _{2}\,$

die Gleichheit ${}\theta _{1}=\theta _{2}$ folgt.