subobject classifier

English

Noun

subobject classifier (plural subobject classifiers)

1. (category theory) An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.

Hyponyms

• subset classifier