subset classifier
English
editNoun
editsubset 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
edit- Leinster, T. (2012). Rethinking Set Theory. arXiv:1212.6543, page 5.