classifying morphism

Meaning

1. noun A morphism from an object to the subobject classifier which corresponds to a unique subobject of the said object, which subobject is the pullback, along this morphism, of the "true" global element of the subobject classifier.

Similar words

subobject classifier subobject morphism global element fibre small category universal morphism subset classifier slice category morphism set