mathlib3
31fd5b58 - feat(category_theory/limits): preserve monomorphisms (#5801)

Commit

4 years ago

feat(category_theory/limits): preserve monomorphisms (#5801) A functor which preserves pullbacks also preserves monomorphisms.

Author

b-mehta

Parents