Def CategoryTheory.HasClassifier.χ

Modification history

2025-02-24 22:30

Mathlib/CategoryTheory/Topos/Classifier.lean

feat(CategoryTheory): Define subobject classifier (#21281) …

Added CategoryTheory.HasClassifier.χ View on Github →