Commit 2021-01-20 06:40 31fd5b58
View on Github →feat(category_theory/limits): preserve monomorphisms (#5801) A functor which preserves pullbacks also preserves monomorphisms.
feat(category_theory/limits): preserve monomorphisms (#5801) A functor which preserves pullbacks also preserves monomorphisms.