Epimorphism

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 .

---

References

• epimorphism in nLab