Def CategoryTheory.presheafToSheaf

Modification history

2024-01-09 21:58

Mathlib/CategoryTheory/Sites/Sheafification.lean

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

Added CategoryTheory.presheafToSheaf View on Github →