Commit 2021-06-29 10:46 d521b2bc
View on Github →feat(algebraic_topology/simplex_category): epi and monos in the simplex category (#8101)
Characterize epimorphisms and monomorphisms in simplex_category in terms of the function they represent. Add lemmas about their behavior on length of objects.