This is an old revision of the document!
Epimorphism
Collection
| context | ${\bf C}$ … category |
| definiendum | $f \in\mathrm{it} $ |
| inclusion | $f:{\bf C}[A,B]$ |
| postulate | $\langle B,\prod_{B}1_A\rangle$ … pushout of $f$ along itself |
Discussion
See Monomorphism.
In ${\bf{Set}}$ the epimorphisms are the surjections.
Reference
Requirements
todo
Related
