(mathematics) A set which serves as the codomain of a characteristic function. / (category theory, uncountable) The subobject classifier restricted to the category Set.

(category theory) An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object.

(category theory) 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.

plural of classifying morphism

plural of classified ad