up:: Category
An epimorphism is a generalization of a Surjective Function, since A surjective function is an epimorphism in the category Set.
Given a category and a morphism , we say that is an epimorphism if
That is, if they are “equal” after composing with , then they were equal all along.
Related
- Epimorphisms in are Monomorphisms in the Opposite Category .