Theorem CategoryTheory.isoSheafify_hom

Modification history

2024-01-09 21:58

Mathlib/CategoryTheory/Sites/Sheafification.lean

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

Added CategoryTheory.isoSheafify_hom View on Github →