subset classifier

English

Noun

subset classifier (plural subset classifiers)

1. (mathematics) A set which serves as the codomain of a characteristic function.
2. (category theory, uncountable) The subobject classifier restricted to the category Set.

References

• Leinster, T. (2012). Rethinking Set Theory. arXiv:1212.6543, page 5.