Def CategoryTheory.Sheaf.classifier

Modification history

2026-03-31 18:15
Mathlib/CategoryTheory/Topos/Sheaf.lean
chore(CategoryTheory/Classifier): namespace Classifier, rename HasClassifier, move file (#36060) …
Modified CategoryTheory.Sheaf.classifierView on Github →
2026-03-20 18:13
Mathlib/CategoryTheory/Topos/Sheaf.lean
feat(CategoryTheory/Topos): Define subobject classifier for sheaf of types (#35867) …
Added CategoryTheory.Sheaf.classifierView on Github →