Commit 2022-08-11 04:28 7af08859
View on Github →feat(category_theory/epi_mono): preserves/reflects properties for epi/split_epi (#15857)
This PR shows that split epi/mono are preserved by any functor, and reflected by fully faithful functors. Moreover, iff lemmas are obtained for functors which both preserve and reflect epimorphisms (resp. monomorphisms).