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"

Date: nil

Author: Anton Zakrewski

Created: 2024-10-12 Sa 22:57