classifying morphism

English

Noun

classifying morphism (plural classifying morphisms)

  1. (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.
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.