See category theory in All languages combined, or Wiktionary
{
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "category theory (uncountable)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Mandarin terms with redundant transliterations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Bulgarian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Czech translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Icelandic translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Japanese translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Korean translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Malay translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Mandarin translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Romanian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Spanish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Swedish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Turkish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [],
"source": "w"
},
{
"kind": "other",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [],
"source": "w"
}
],
"coordinate_terms": [
{
"word": "set theory"
}
],
"examples": [
{
"text": "Holonyms: math, maths, mathematics"
},
{
"bold_text_offsets": [
[
100,
115
]
],
"ref": "1984, Robert Goldblatt, Topoi, the categorial analysis of logic, page 3:",
"text": "As mentioned earlier set theory provides a general conceptual framework for mathematics. Now, since category theory, through the notion of topos, has succeeded in axiomatising set-theory, the outcome is an entirely new categorial foundation of mathematics! The category-theorists attitude that \"function\" rather than \"set membership\" can be seen as the fundamental mathematical concept has been entirely vindicated. The pre-eminent role of set theory in contemporary mathematics is suddenly challenged. A revolution has occurred in the history of mathematical ideas (albeit a peaceful one) that will undoubtedly influence the direction of the path to the future.",
"type": "quote"
},
{
"bold_text_offsets": [
[
316,
331
]
],
"ref": "2025 August 30, Katrina Miller, “You Don't Need to Be Good at Math to Enjoy It. In her latest book, Eugenia Cheng, a mathematician, explores the choices we make to determine if two things — numbers, shapes, words and even people — are equal. 'A Conversation With' column”, in New York Times:",
"text": "[Eugenia Cheng] We don't talk about this enough. We make choices about what to count as the same and what to count as different, and we should be aware that we're making them. [Katrina Miller:] What kind of math do you explore in the book? [Cheng 2025: Unequal: The Math of When Things Do and Don't Add Up] [Cheng:] Category theory is a branch of math with this radical idea that when you study things, you don’t have to know what they are. What you have to know is how they interact with other things. It's all about relationships rather than intrinsic characteristics. And one of the most important relationships is sameness and equivalence. When is a relationship good enough to count as things being the same? One of my favorite tongue-in-cheek examples is if you need to temporarily take over someone's role at work because they're on leave. It typically doesn't matter what you look like. Unless the work is being a body double!",
"type": "quote"
}
],
"glosses": [
"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."
],
"hypernyms": [
{
"word": "theory"
},
{
"word": "math"
},
{
"word": "maths"
},
{
"word": "mathematics"
}
],
"id": "en-category_theory-en-noun-en:Q217413",
"links": [
[
"mathematics",
"mathematics"
],
[
"abstraction",
"abstraction"
],
[
"theorems",
"theorems"
]
],
"raw_glosses": [
"(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."
],
"related": [
{
"word": "categorization"
}
],
"senseid": [
"en:Q217413"
],
"tags": [
"uncountable"
],
"topics": [
"mathematics",
"sciences"
],
"translations": [
{
"code": "bg",
"lang": "Bulgarian",
"lang_code": "bg",
"roman": "teorija na kategoriite",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "теория на категориите"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"lang_code": "cmn",
"roman": "fànchóulùn",
"sense": "branch of mathematics",
"word": "範疇論 /范畴论"
},
{
"code": "cs",
"lang": "Czech",
"lang_code": "cs",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teorie kategorií"
},
{
"code": "fi",
"lang": "Finnish",
"lang_code": "fi",
"sense": "branch of mathematics",
"word": "kategoriateoria"
},
{
"code": "fr",
"lang": "French",
"lang_code": "fr",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "théorie des catégories"
},
{
"code": "de",
"lang": "German",
"lang_code": "de",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "Kategorientheorie"
},
{
"code": "is",
"lang": "Icelandic",
"lang_code": "is",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "ríkjafræði"
},
{
"alt": "けんろん",
"code": "ja",
"lang": "Japanese",
"lang_code": "ja",
"roman": "kenron",
"sense": "branch of mathematics",
"word": "圏論"
},
{
"alt": "範疇論",
"code": "ko",
"lang": "Korean",
"lang_code": "ko",
"roman": "beomjuron",
"sense": "branch of mathematics",
"word": "범주론"
},
{
"code": "ms",
"lang": "Malay",
"lang_code": "ms",
"sense": "branch of mathematics",
"word": "teori kategori"
},
{
"code": "pl",
"lang": "Polish",
"lang_code": "pl",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoria kategorii"
},
{
"code": "ro",
"lang": "Romanian",
"lang_code": "ro",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoria categoriei"
},
{
"code": "ru",
"lang": "Russian",
"lang_code": "ru",
"roman": "teorija kategorij",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "теория категорий"
},
{
"code": "es",
"lang": "Spanish",
"lang_code": "es",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoría de categorías"
},
{
"code": "sv",
"lang": "Swedish",
"lang_code": "sv",
"sense": "branch of mathematics",
"tags": [
"common-gender"
],
"word": "kategoriteori"
},
{
"code": "tr",
"lang": "Turkish",
"lang_code": "tr",
"sense": "branch of mathematics",
"word": "kategori teorisi"
},
{
"code": "tr",
"lang": "Turkish",
"lang_code": "tr",
"sense": "branch of mathematics",
"word": "ulam kuramı"
}
],
"wikidata": [
"Q217413"
],
"wikipedia": [
"category theory"
]
}
],
"word": "category theory"
}
{
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "category theory (uncountable)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"related": [
{
"word": "categorization"
}
],
"senses": [
{
"categories": [
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"English nouns",
"English terms with quotations",
"English uncountable nouns",
"Entries with translation boxes",
"Mandarin terms with redundant transliterations",
"Pages with 1 entry",
"Pages with entries",
"Terms with Bulgarian translations",
"Terms with Czech translations",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with German translations",
"Terms with Icelandic translations",
"Terms with Japanese translations",
"Terms with Korean translations",
"Terms with Malay translations",
"Terms with Mandarin translations",
"Terms with Polish translations",
"Terms with Romanian translations",
"Terms with Russian translations",
"Terms with Spanish translations",
"Terms with Swedish translations",
"Terms with Turkish translations",
"en:Category theory",
"en:Mathematics"
],
"coordinate_terms": [
{
"word": "set theory"
}
],
"examples": [
{
"text": "Holonyms: math, maths, mathematics"
},
{
"bold_text_offsets": [
[
100,
115
]
],
"ref": "1984, Robert Goldblatt, Topoi, the categorial analysis of logic, page 3:",
"text": "As mentioned earlier set theory provides a general conceptual framework for mathematics. Now, since category theory, through the notion of topos, has succeeded in axiomatising set-theory, the outcome is an entirely new categorial foundation of mathematics! The category-theorists attitude that \"function\" rather than \"set membership\" can be seen as the fundamental mathematical concept has been entirely vindicated. The pre-eminent role of set theory in contemporary mathematics is suddenly challenged. A revolution has occurred in the history of mathematical ideas (albeit a peaceful one) that will undoubtedly influence the direction of the path to the future.",
"type": "quote"
},
{
"bold_text_offsets": [
[
316,
331
]
],
"ref": "2025 August 30, Katrina Miller, “You Don't Need to Be Good at Math to Enjoy It. In her latest book, Eugenia Cheng, a mathematician, explores the choices we make to determine if two things — numbers, shapes, words and even people — are equal. 'A Conversation With' column”, in New York Times:",
"text": "[Eugenia Cheng] We don't talk about this enough. We make choices about what to count as the same and what to count as different, and we should be aware that we're making them. [Katrina Miller:] What kind of math do you explore in the book? [Cheng 2025: Unequal: The Math of When Things Do and Don't Add Up] [Cheng:] Category theory is a branch of math with this radical idea that when you study things, you don’t have to know what they are. What you have to know is how they interact with other things. It's all about relationships rather than intrinsic characteristics. And one of the most important relationships is sameness and equivalence. When is a relationship good enough to count as things being the same? One of my favorite tongue-in-cheek examples is if you need to temporarily take over someone's role at work because they're on leave. It typically doesn't matter what you look like. Unless the work is being a body double!",
"type": "quote"
}
],
"glosses": [
"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."
],
"hypernyms": [
{
"word": "theory"
},
{
"word": "math"
},
{
"word": "maths"
},
{
"word": "mathematics"
}
],
"links": [
[
"mathematics",
"mathematics"
],
[
"abstraction",
"abstraction"
],
[
"theorems",
"theorems"
]
],
"raw_glosses": [
"(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."
],
"senseid": [
"en:Q217413"
],
"tags": [
"uncountable"
],
"topics": [
"mathematics",
"sciences"
],
"wikidata": [
"Q217413"
],
"wikipedia": [
"category theory"
]
}
],
"translations": [
{
"code": "bg",
"lang": "Bulgarian",
"lang_code": "bg",
"roman": "teorija na kategoriite",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "теория на категориите"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"lang_code": "cmn",
"roman": "fànchóulùn",
"sense": "branch of mathematics",
"word": "範疇論 /范畴论"
},
{
"code": "cs",
"lang": "Czech",
"lang_code": "cs",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teorie kategorií"
},
{
"code": "fi",
"lang": "Finnish",
"lang_code": "fi",
"sense": "branch of mathematics",
"word": "kategoriateoria"
},
{
"code": "fr",
"lang": "French",
"lang_code": "fr",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "théorie des catégories"
},
{
"code": "de",
"lang": "German",
"lang_code": "de",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "Kategorientheorie"
},
{
"code": "is",
"lang": "Icelandic",
"lang_code": "is",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "ríkjafræði"
},
{
"alt": "けんろん",
"code": "ja",
"lang": "Japanese",
"lang_code": "ja",
"roman": "kenron",
"sense": "branch of mathematics",
"word": "圏論"
},
{
"alt": "範疇論",
"code": "ko",
"lang": "Korean",
"lang_code": "ko",
"roman": "beomjuron",
"sense": "branch of mathematics",
"word": "범주론"
},
{
"code": "ms",
"lang": "Malay",
"lang_code": "ms",
"sense": "branch of mathematics",
"word": "teori kategori"
},
{
"code": "pl",
"lang": "Polish",
"lang_code": "pl",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoria kategorii"
},
{
"code": "ro",
"lang": "Romanian",
"lang_code": "ro",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoria categoriei"
},
{
"code": "ru",
"lang": "Russian",
"lang_code": "ru",
"roman": "teorija kategorij",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "теория категорий"
},
{
"code": "es",
"lang": "Spanish",
"lang_code": "es",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoría de categorías"
},
{
"code": "sv",
"lang": "Swedish",
"lang_code": "sv",
"sense": "branch of mathematics",
"tags": [
"common-gender"
],
"word": "kategoriteori"
},
{
"code": "tr",
"lang": "Turkish",
"lang_code": "tr",
"sense": "branch of mathematics",
"word": "kategori teorisi"
},
{
"code": "tr",
"lang": "Turkish",
"lang_code": "tr",
"sense": "branch of mathematics",
"word": "ulam kuramı"
}
],
"word": "category theory"
}
Download raw JSONL data for category theory meaning in English (6.4kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-09-27 from the enwiktionary dump dated 2025-09-20 using wiktextract (fc15ba6 and 1ab82da). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.