💡 Words with a Similar Meaning to "Decategorification"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| categorificationnoun | (category theory) A procedure that defines theorems in terms of category theory by mapping concepts from set theory to category theory. |
| 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. |
| cocategorynoun | (mathematics) The dual of a category. |
| 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. |
| strictificationnoun | (mathematics, category theory) ??Replacement of coherent isomorphisms by equalities. |
| small categorynoun | (category theory) A category such that all of its objects form a set and all of its morphisms form a set. |
| 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. |
| formationnoun | The act of assembling a group or structure. [from 14th c.] |
| 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. |
| discrete categorynoun | (category theory) A category whose morphisms are all identity morphisms. |
| overcategorynoun | (category theory) Any functor into a specified base category. |
| 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. |
| balanced categorynoun | (category theory) A category in which every bimorphism is an isomorphism. |
| caterpillarizationnoun | (mathematics) The process or the result of caterpillarizing a tree. |
| comma categorynoun | (category theory) A category built out of a pair of functors that have the same codomain. |
| projectionnoun | The action of projecting or throwing or propelling something. |
| multicategory | Of or relating to more than one category. |
| 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. |
| categorynoun | A group, often named or numbered, to which items are assigned based on similarity or defined criteria. |
| inversenoun | An inverted state: a state in which something has been turned (properly) upside down or (loosely) inside out or backwards. |
Translate “Decategorification” into Another Language
Pick a language — the word will be pre-filled in the translator.