Def CategoryTheory.sheafificationAdjunction

Modification history

2024-01-09 21:58

Mathlib/CategoryTheory/Sites/Sheafification.lean

refactor(CategoryTheory/Sites): sheafification as an abstract left adjoint (#9012) …

Added CategoryTheory.sheafificationAdjunction View on Github →