💡 Words with a Similar Meaning to "Global element"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| generalized elementnoun | (category theory) A morphism whose codomain is some specified object. |
| generic elementnoun | (category theory) The identity element of an object when thought of as a generalized element of that object. |
| 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. |
| 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. |
| objectnoun | A thing that has physical existence but is not alive. |
| fibrenoun | Dietary fibre. |
| functornoun | (object-oriented programming) A function object. |
| epimorphismnoun | (category theory) A morphism p such that for any other pair of morphisms f and g, if f∘p=g∘p, then f = g. |
| 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. |
| morphismnoun | (mathematics, category theory) (formally) An arrow in a category; (less formally) an abstraction that generalises a map from one mathematical object to another and is structure-preserving in a way that depends on the branch of mathematics from which it arises. |
| projectionnoun | The action of projecting or throwing or propelling something. |
| small categorynoun | (category theory) A category such that all of its objects form a set and all of its morphisms form a set. |
| fibernoun | (uncountable) A material in the form of fibers. |
| 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. |
| monomorphismnoun | (mathematics) an injective homomorphism |
| overfunctornoun | (category theory) A morphism of an overcategory. |
| 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. |
| free categorynoun | (category theory) A category that is induced by a multidigraph thus: it has as its objects the vertices of the multidigraph and its morphisms are paths in the multidigraph; composition of morphisms is concatenation of paths, as long as the end of one path coincides with the beginning of the other path; an identity morphism of an object is an “empty path” at that vertex. |
| direct productnoun | (set theory) The set of all possible tuples whose elements are elements of given, separately specified, sets. |
| zero morphismnoun | (category theory) A morphism which is both a constant morphism and a coconstant morphism. |
Translate “Global element” into Another Language
Pick a language — the word will be pre-filled in the translator.