subobject classifier
Jump to navigation
Jump to search
English[edit]
Noun[edit]
subobject classifier (plural subobject classifiers)
- (category theory) An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.