Commit 2026-03-31 18:15 b6118399

chore(CategoryTheory/Classifier): namespace Classifier, rename HasClassifier, move file (#36060) The declaration CategoryTheory.Classifier (and various lemmas about it) is/are moved to the Subobject namespace. The declaration CategoryTheory.HasClassifier is renamed CategoryTheory.HasSubobjectClassifier. The file CategoryTheory/Topos/Classifier.lean is moved to CategoryTheory/Subobject/Classifier/Defs.lean. Moves:

• Classifier.SubobjectRepresentableBy.* -> SubobjectRepresentableBy.*
• Classifier.* -> Subobject.Classifier.*
• HasClassifier.* -> HasSubobjectClassifier.* zulip discussion