mathlib documentation


Relating monomorphisms and epimorphisms to limits and colimits #

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

We also provide the dual version for epimorphisms.

@[protected, instance]

If F preserves pullbacks, then it preserves monomorphisms.

If F reflects pullbacks, then it reflects monomorphisms.

@[protected, instance]

If F preserves pushouts, then it preserves epimorphisms.

If F reflects pushouts, then it reflects epimorphisms.