Bild (Kategorientheorie)

Sei \(f\) ein Morphismus mit

\begin{align*} f: A \rightarrow B \end{align*}

Dann ist das Bild von \(f\) \(bild(f) = B\)