Monomorphism

up:: Category

A monomorphism is a categorical generalization of an Injective Function, since An injective function is a monomorphism in the category Set.

Given a category and a morphism , we say that is a monomorphism if

That is, if they are “equal” after “pre-composition” with , then they were equal all along.

Related

• Monomorphisms in are Epimorphisms in the Opposite Category .

---

References

• monomorphism in nLab