💡 Words with a Similar Meaning to "Subobject classifier"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| classifying morphismnoun | (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. |
| subobjectnoun | An object that is part of another object. |
| subset classifiernoun | (category theory, uncountable) The subobject classifier restricted to the category Set. |
| relationnoun | The manner in which two things may be associated. |
| objectnoun | A thing that has physical existence but is not alive. |
| initial objectnoun | (category theory) An object within a category which sends out arrows to all other objects in that category, and such that each of these arrows is unique. |
| terminal objectnoun | (category theory) An object within a category which receives arrows from all other objects in that category, and such that each of these arrows is unique. |
| small categorynoun | (category theory) A category such that all of its objects form a set and all of its morphisms form a set. |
| generalized elementnoun | (category theory) A morphism whose codomain is some specified object. |
| subcategorynoun | With respect to a given category; a narrower category. |
| global elementnoun | (category theory) A morphism from the terminal object to a given object (to which it is said to belong). |
| slice categorynoun | (category theory) A category whose objects are morphisms (of some given category) with a common codomain, and whose morphisms are commuting triangles where two morphisms of each of such triangles share the said common codomain. |
| elementary toposnoun | (category theory) A Cartesian closed category which has a subobject classifier. |
| group objectnoun | (category theory) Given a category C, any object X ∈ C on which morphisms are defined corresponding to the group theoretic concepts of a binary operation (called multiplication), identity and inverse, such that multiplication is associative and properties are satisfied that correspond to the existence of inverse elements and the identity element. |
| subfunctornoun | (category theory) A functor such that all of the objects it maps are mapped by the parent functor, and for any arrow it maps the parent functor includes the same mapping (although it may also map arrows from the same domain to additional images outside the image of the subfunctor). |
| null objectnoun | (object-oriented programming) An object that does nothing and is used instead of a null. |
| universal morphismnoun | (category theory) The terminal object of a comma category from a functor to a fixed object; or, dually, the initial object of a comma category from a fixed object to a functor. |
| subquotientnoun | (mathematics) A quotient object of a subobject. |
| group functornoun | (category theory, algebraic geometry) A group object that is an object in a category of functors; a functor with certain properties that generalise the concept of group. |
| sievenoun | A device with a mesh, grate, or otherwise perforated bottom to separate, in a granular material, larger particles from smaller ones, or to separate solid objects from a liquid. |
Translate “Subobject classifier” into Another Language
Pick a language — the word will be pre-filled in the translator.