Definify.com
Definition 2024
subset_classifier
subset classifier
English
Noun
subset classifier (plural subset classifiers)
- (mathematics) A set which serves as the codomain of a characteristic function.
- (category theory, uncountable) The subobject classifier restricted to the category Set.
References
- Leinster, T. (2012). Rethinking Set Theory. arXiv:1212.6543, page 5.