💡 Words with a Similar Meaning to "Overcone"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| overfunctornoun | (category theory) A morphism of an overcategory. |
| overcategorynoun | (category theory) Any functor into a specified base category. |
| cofunctornoun | A contravariant functor. |
| diagonal morphismnoun | (category theory) A morphism from an object to the product of that object with itself, which morphism is induced by a pair of identity morphisms of the said object. |
| profunctornoun | (mathematics) A generalization of a relation in category theory |
| contravariant functornoun | (category theory) A functor which maps a morphism f:X → Y to a morphism F(f):F(Y) → F(X), such that if h=g∘f, then F(h)=F(f)∘F(g). |
| functornoun | (object-oriented programming) A function object. |
| inversenoun | An inverted state: a state in which something has been turned (properly) upside down or (loosely) inside out or backwards. |
| 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. |
| full functornoun | (category theory) A functor which maps morphisms from its source to its target category in such a way that the restriction of that mapping to any source hom-set is surjective into the corresponding target hom-set. |
| natural transformationnoun | (category theory) A morphism between a pair of parallel functors such that if each object of the shared domain category subtends a correlated arrow — called a component — in the shared codomain (which arrow represents the difference between applying the second functor and the first functor to the correlated object) then each arrow of the shared domain subtends a commuting square — called a naturality square — between two components (correlated to the domain and codomain of the arrow). |
| endofunctornoun | (category theory) A functor that maps a category to itself. |
| contravariancenoun | (object-oriented programming) The reversal of the order of data types acted upon by an operator. |
| coaugmentationnoun | (mathematics) A natural transformation from the identity functor to a certain endofunctor. |
| bifunctornoun | (category theory) A functor whose domain is a product of categories. |
| endobifunctornoun | (mathematics) A bifunctor between a bicategory and itself. |
| split monomorphismnoun | (category theory) A morphism which has a left inverse. |
| pseudofunctornoun | (mathematics) A mapping between categories that is just like a functor except that f(x∘y)=f(x)∘f(y) and f(1)=1 do not hold as exact equalities but only up to coherent isomorphisms. |
| comorphismnoun | (mathematics) A mapping associated with a morphism that, when applied to every member of the morphism, results in the same value as the morphism applied to the image of every member. |
| 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. |
Translate “Overcone” into Another Language
Pick a language — the word will be pre-filled in the translator.