Commit 2021-11-15 16:52 02100d81
View on Github →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.
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.