subobject classifier
An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.
Noun
- An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.