subobject classifier
Meaning
- noun An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.
Similar words
classifying morphism subobject subset classifier relation object initial object terminal object small category generalized element subcategory
Save “subobject classifier” to learn later