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