Commit 2025-04-14 07:09 c8d31dec
View on Github →feat(CategoryTheory): stability properties of morphisms properties in functor categories (#23298)
Given W : MorphismProperty C and a category J, we study the stability properties of W.functorCategory J : MorphismProperty (J ⥤ C).
Under suitable assumptions, we also show that if monomorphisms in C are stable under transfinite compositions, then the same holds in the category J ⥤ C.