Split Epimorphism is Epic

From ProofWiki
Jump to navigation Jump to search


Let $\mathbf C$ be a metacategory.

Let $f: C \to D$ be a split epimorphism.

Then $f: C \twoheadrightarrow D$ is epic.


Let $g: D \to C$ be a morphism such that:

$f \circ g = \operatorname{id}_D$

which is guaranteed to exist by definition of split epimorphism.

Suppose that $x, y: D \to E$ are morphisms such that:

$x \circ f = y \circ f$

Then necessarily also:

$x \circ f \circ g = y \circ f \circ g$

and hence, since $f \circ g = \operatorname{id}_D$, it follows that:

$x \circ \operatorname{id}_D = y \circ \operatorname{id}_D$

which yields the result by the definition of identity morphism.

The situation is illustrated by the following commutative diagram:

$\begin{xy} <0em,0em> *+{C} = "C", <0em,-4em>*+{D} = "D", <4em,0em> *+{D} = "D2", <8em,0em> *+{E} = "E", "D2"+/r.5em/+/^.25em/;"E"+/l.5em/+/^.25em/ **@{-} ?>*@{>} ?*!/_.6em/{x}, "D2"+/r.5em/+/_.25em/;"E"+/l.5em/+/_.25em/ **@{-} ?>*@{>} ?*!/^.6em/{y}, "C";"D2" **@{-} ?>*@{>} ?*!/_.6em/{f}, "D";"D2" **@{-} ?>*@{>} ?*!/^.6em/{\operatorname{id}_C}, "D";"C" **@{-} ?>*@{>} ?*!/_.6em/{g}, \end{xy}$