Urbild (Kategorientheorie)
1. Definition
Sei \(f\) ein Morphismus mit
\begin{align*} f: A \rightarrow B \end{align*}Dann ist das Urbild von \(f\) \(ur(f) = A\)
Sei \(f\) ein Morphismus mit
\begin{align*} f: A \rightarrow B \end{align*}Dann ist das Urbild von \(f\) \(ur(f) = A\)
Date: nil
Created: 2024-10-11 Fr 21:29