isomorphism as epimorphism
1. Proposition
Let \(\mathcal{C}\) be a category and \(f \in \mathrm{Hom}_{\mathcal{C}}(A,B)\) an isomorphism Then \(f\) is an epimorphism
2. Proof
corollary of:
Let \(\mathcal{C}\) be a category and \(f \in \mathrm{Hom}_{\mathcal{C}}(A,B)\) an isomorphism Then \(f\) is an epimorphism
corollary of:
Date: nil
Created: 2024-10-13 So 18:24