💡 Words with a Similar Meaning to "Categorification"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| decategorificationnoun | (mathematics) The reverse process of categorification: The mapping of a category theoretic category to a set by using a systematic process in which isomorphic objects in a category are identified as equal. |
| formationnoun | The act of assembling a group or structure. [from 14th c.] |
| overcategorynoun | (category theory) Any functor into a specified base category. |
| small categorynoun | (category theory) A category such that all of its objects form a set and all of its morphisms form a set. |
| comma categorynoun | (category theory) A category built out of a pair of functors that have the same codomain. |
| category theorynoun | (mathematics) A branch of mathematics which deals with spaces and maps between them in abstraction, taking similar theorems from various disparate more concrete branches of mathematics and unifying them. |
| sitenoun | (Internet) A website. |
| 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. |
| bicategorynoun | (mathematics) A particular construct in category theory, used to extend the notion of category to handle the cases where the composition of morphisms is not (strictly) associative, but only associative up to an isomorphism. |
| functor categorynoun | (category theory) A category whose objects are functors (from some fixed given domain category to some fixed given codomain category) and whose morphisms are natural transformations. |
| balanced categorynoun | (category theory) A category in which every bimorphism is an isomorphism. |
| allegorynoun | (uncountable, rhetoric) The use of symbols which may be interpreted to reveal a hidden, broader message, usually a moral or political one, about real-world issues and occurrences; also, the interpretation of such symbols. |
| subcategorynoun | With respect to a given category; a narrower category. |
| toposnoun | A literary theme or motif; a rhetorical convention or formula. |
| categorical dualnoun | (category theory) For a given category C, its dual category Cᵒᵖ is obtained by reversing the direction of each one of the arrows of C. |
| categorynoun | A group, often named or numbered, to which items are assigned based on similarity or defined criteria. |
| 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. |
| cocategorynoun | (mathematics) The dual of a category. |
| functornoun | (object-oriented programming) A function object. |
| direct productnoun | (set theory) The set of all possible tuples whose elements are elements of given, separately specified, sets. |
Translate “Categorification” into Another Language
Pick a language — the word will be pre-filled in the translator.