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