• subobject classifier
• subobject classifiers

subobject classifier (suomeksi)

Määritelmät:

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