classifying morphism

Fetched 2026-10-26 (cache).

Datamuse reports no synonyms or antonyms for this word.

Noun

1. {{lb|en|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.

Source: Wiktionary · CC BY-SA 4.0 (Wiktionary dump) · cached copy, not a rewrite.