Monomorphisms of simplicial sets

In this file, we show that the class of monomorphisms in SSet is stable under coproducts, pushouts, filtered colimits and transfinite compositions.

instance SSet.instIsStableUnderCoproductsMonomorphismsOfHasCoproductsType [CategoryTheory.Limits.HasCoproducts (Type u)] : CategoryTheory.MorphismProperty.IsStableUnderCoproducts.{v', u, u + 1} (CategoryTheory.MorphismProperty.monomorphisms SSet)

instance SSet.instIsStableUnderCobaseChangeMonomorphisms : (CategoryTheory.MorphismProperty.monomorphisms SSet).IsStableUnderCobaseChange

instance SSet.instIsStableUnderFilteredColimitsMonomorphisms : CategoryTheory.MorphismProperty.IsStableUnderFilteredColimits.{u, u, u, u + 1} (CategoryTheory.MorphismProperty.monomorphisms SSet)