Def CategoryTheory.Functor.preservesColimitsOfSizeOfIsZero

Modification history

2024-11-19 08:25

Mathlib/CategoryTheory/Limits/Preserves/Shapes/Zero.lean

refactor(CategoryTheory): make PreservesLimit and ReflectsLimit props (#19206) …

Deleted CategoryTheory.Functor.preservesColimitsOfSizeOfIsZero View on Github →

2024-06-25 06:18

Mathlib/CategoryTheory/Limits/Preserves/Shapes/Zero.lean

feat(Algebra/Homology) the single complex functor preserves (co)limits (#13875) …

Added CategoryTheory.Functor.preservesColimitsOfSizeOfIsZero View on Github →