subobject classifier

English

Noun

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.

Hyponyms

subset classifier

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.