Commit 2024-12-20 16:26 9cc15b97

feat(CategoryTheory/Sites): colimits in categories of extensive sheaves are computed objectwise (#19913) … for the shapes for which the colimit functor preserves finite products. This means all shapes when the target is a preadditive category, sifted shapes when the target is the category of sets.