\( \newcommand{\matr}[1] {\mathbf{#1}} \newcommand{\vertbar} {\rule[-1ex]{0.5pt}{2.5ex}} \newcommand{\horzbar} {\rule[.5ex]{2.5ex}{0.5pt}} \newcommand{\E} {\mathrm{E}} \)
abstract banner
Show Answer
\( \newcommand{\cat}[1] {\mathrm{#1}} \newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})} \newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}} \newcommand{\multiBetaReduction}[0] {\twoheadrightarrow_{\beta}} \newcommand{\betaReduction}[0] {\rightarrow_{\beta}} \newcommand{\betaEq}[0] {=_{\beta}} \newcommand{\string}[1] {\texttt{"}\mathtt{#1}\texttt{"}} \newcommand{\symbolq}[1] {\texttt{`}\mathtt{#1}\texttt{'}} \newcommand{\groupMul}[1] { \cdot_{\small{#1}}} \newcommand{\groupAdd}[1] { +_{\small{#1}}} \newcommand{\inv}[1] {#1^{-1} } \newcommand{\bm}[1] { \boldsymbol{#1} } \newcommand{\qed} { {\scriptstyle \Box} } \require{physics} \require{ams} \require{mathtools} \)
Math and science::Algebra::Aluffi

Monomorphisms and epimorphisms

The ideas of injections and surjections in the context of sets and functions are paralleled in the context of categories by the concepts of monomorphisms and epimorphisms.

Monomorphism

Let \( \cat{C} \) be a category and \( A \) and \( B \) be objects of \( \cat{C} \). A morphism \( f \in \cathom{C}(A, B) \) is said to be a monomorphism iff:

For all objects \( Z \) of \( \cat{C} \) and all morphisms \( \alpha', \, \alpha'' \in \) [ what set? ]

[\[ ? \implies ? \].]

An epimorphism is defined similarly, but with the composition order reversed.

Epimorphism

Let \( \cat{C} \) be a category and \( A \) and \( B \) be objects of \( \cat{C} \). A morphism \( g \in \cathom{C}(A, B) \) is said to be an epimorphism iff:

For all objects \( Z \) of \( \cat{C} \) and all morphisms \( \beta', \, \beta'' \in \) [ what set? ]

[\[ ? \implies ? \]]

Essence

If \( f \) is a monomorphism and \( f \, \alpha \) is \( f \) composed with some unknown morphism \( \alpha \), then knowing \( f \) and \( f \, \alpha \) is enough information to recover \( \alpha \) exactly.

In other words, there is no redundancy provided by \( f \) that allows two morphisms \( \alpha' \) and \( \alpha'' \) to compose with \( f \) such that \( f \, \alpha' \) and \( f \, \alpha'' \) produce the same morphism.

Yet another wording: no morphism can 'hide' behind \( f \).

Similarly, an epimorphism \( g \) does not afford any ambiguity to morphisms that compose after \( g \).