mathlib3 documentation


Relating monomorphisms and epimorphisms to limits and colimits #

THIS FILE IS SYNCHRONIZED WITH MATHLIB4. Any changes to this file require a corresponding PR to mathlib4.

If F preserves (resp. reflects) pullbacks, then it preserves (resp. reflects) monomorphisms.

We also provide the dual version for epimorphisms.

If F preserves pullbacks, then it preserves monomorphisms.

If F reflects pullbacks, then it reflects monomorphisms.

If F preserves pushouts, then it preserves epimorphisms.

If F reflects pushouts, then it reflects epimorphisms.