mathlib

02100d81 - feat(category_theory/sites/limits): `Sheaf J D` has colimits. (#10334)

feat(category_theory/sites/limits): `Sheaf J D` has colimits. (#10334) We show that the category of sheaves has colimits obtained by sheafifying colimits on the level of presheaves.