💡 Words with a Similar Meaning to "Null object"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| zero objectnoun | (category theory) An object which is both an initial object and a terminal object. |
| 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. |
| 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. |
| objectnoun | A thing that has physical existence but is not alive. |
| global elementnoun | (category theory) A morphism from the terminal object to a given object (to which it is said to belong). |
| 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. |
| small categorynoun | (category theory) A category such that all of its objects form a set and all of its morphisms form a set. |
| generic elementnoun | (category theory) The identity element of an object when thought of as a generalized element of that object. |
| monadnoun | One thing, one being, one item. |
| subobject classifiernoun | (category theory) An object which serves as the codomain of a classifying morphism, together with a "true" global element of the said object. |
| subobjectnoun | An object that is part of another object. |
| bicartesian closed categorynoun | (category theory) A Cartesian closed category which also has an initial object and such that for any pair of objects, A and B, in the category, the category has another object which is their coproduct, A∐B. |
| relationnoun | The manner in which two things may be associated. |
| identity functornoun | (category theory) A functor from a category to itself which maps each object of that category to itself and each morphism of that category to itself. |
| natural numbers objectnoun | (category theory) An object which has a distinguished global element (which may be called z, for “zero”) and a distinguished endomorphism (which may be called s, for “successor”) such that iterated compositions of s upon z (i.e., sⁿ∘z) yields other global elements of the same object which correspond to the natural numbers (sⁿ∘z↔n). Such object has the universal property that for any other object with a distinguished global element (call it z’) and a distinguished endomorphism (call it s’), there is a unique morphism (call it φ) from the given object to the other object which maps z to z’ (ϕ∘z=z') and which commutes with s; i.e., ϕ∘s=s'∘ϕ. |
| elementary toposnoun | (category theory) A Cartesian closed category which has a subobject classifier. |
| generalized elementnoun | (category theory) A morphism whose codomain is some specified object. |
| cartesian closed categorynoun | (category theory) A category which has a terminal object and which for every two objects A and B has a product A × B and an exponential object Bᴬ. |
| cokernelnoun | (mathematics, category theory) The target of operatorname cokerf, denoted operatorname Cokerf. |
| comma categorynoun | (category theory) A category built out of a pair of functors that have the same codomain. |
Translate “Null object” into Another Language
Pick a language — the word will be pre-filled in the translator.