Def CategoryTheory.smallSheafificationAdjunction

Modification history

2024-01-13 15:06

Mathlib/CategoryTheory/Sites/Equivalence.lean

feat(CategoryTheory): sheafification over essentially small sites (#9523) …

Added CategoryTheory.smallSheafificationAdjunction View on Github →