classifying morphism

English dictionary entry

Meanings

noun
  1. 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.

Word forms

classifying morphism classifying morphisms
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.