Theorem CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.functorCategory

Modification history

2025-05-13 14:46
Mathlib/CategoryTheory/MorphismProperty/FunctorCategory.lean
chore(CategoryTheory): make MorphismProperty.IsStableUnderColimitsOfShape a class (#24773)
Deleted CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.functorCategoryView on Github →
2025-04-14 07:09
Mathlib/CategoryTheory/MorphismProperty/FunctorCategory.lean
feat(CategoryTheory): stability properties of morphisms properties in functor categories (#23298) …
Added CategoryTheory.MorphismProperty.IsStableUnderColimitsOfShape.functorCategoryView on Github →