Epimorphism that is Split Monomorphism is Split Epimorphism
Theorem
Let $\mathbf C$ be a metacategory.
Let $f: C \to D$ be a epimorphism and a split monomorphism.
Then $f: C \to D$ is a split epimorphism.
Proof
What is a Dual proof
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it. To discuss this point in more detail, feel free to use the talk page.
If you are able to explain it, then when you have done so you can remove this instance of {{Explain}} from the code.
Dual proof of Monomorphism that is Split Epimorphism is Split Monomorphism.
$\blacksquare$
