Structure CategoryTheory.Classifier

Modification history

2025-02-24 22:30
Mathlib/CategoryTheory/Topos/Classifier.lean
feat(CategoryTheory): Define subobject classifier (#21281) …
Added CategoryTheory.ClassifierView on Github →