mathlib documentation

category_theory.limits.constructions.epi_mono

Relating monomorphisms and epimorphisms to limits and colimits #

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

TODO #

Dualise and apply to functor categories.

@[instance]

If F preserves pullbacks, then it preserves monomorphisms.

If F reflects pullbacks, then it reflects monomorphisms.