Epimorphismus

Ein Morphismus \(f: A \rightarrow B\) ist ein Epimorphismus oder kurz episch, wenn für alle Morphismen \(h_1,h_2: B \rightarrow D\) gilt:

\begin{align*} h_1f = h_2f \Rightarrow h_1 = h_2 \end{align*}