See category theory in All languages combined, or Wiktionary
Download JSON data for category theory meaning in English (4.4kB)
{
"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": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "English entries with topic categories using raw markup",
"parents": [
"Entries with topic categories using raw markup",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "English terms with non-redundant non-automated sortkeys",
"parents": [
"Terms with non-redundant non-automated sortkeys",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Mandarin terms with redundant transliterations",
"parents": [
"Terms with redundant transliterations",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Category theory",
"orig": "en:Category theory",
"parents": [
"Mathematics",
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"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": "quotation"
}
],
"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": "mathematics"
},
{
"word": "theory"
}
],
"id": "en-category_theory-en-noun-01kYRen7",
"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."
],
"tags": [
"uncountable"
],
"topics": [
"mathematics",
"sciences"
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "branch of mathematics",
"word": "範疇論"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "fànchóulùn",
"sense": "branch of mathematics",
"word": "范畴论"
},
{
"code": "cs",
"lang": "Czech",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teorie kategorií"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "branch of mathematics",
"word": "kategoriateoria"
},
{
"code": "fr",
"lang": "French",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "théorie des catégories"
},
{
"code": "de",
"lang": "German",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "Kategorientheorie"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "ríkjafræði"
},
{
"code": "ms",
"lang": "Malay",
"sense": "branch of mathematics",
"word": "teori kategori"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoria categoriei"
},
{
"code": "ru",
"lang": "Russian",
"roman": "teorija kategorij",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "теория категорий"
},
{
"code": "es",
"lang": "Spanish",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoría de categorías"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "branch of mathematics",
"tags": [
"common-gender"
],
"word": "kategoriteori"
},
{
"code": "tr",
"lang": "Turkish",
"sense": "branch of mathematics",
"word": "kategori teorisi"
},
{
"code": "tr",
"lang": "Turkish",
"sense": "branch of mathematics",
"word": "ulam kuramı"
}
],
"wikipedia": [
"category theory"
]
}
],
"word": "category theory"
}
{
"head_templates": [
{
"args": {
"1": "-"
},
"expansion": "category theory (uncountable)",
"name": "en-noun"
}
],
"hypernyms": [
{
"word": "mathematics"
},
{
"word": "theory"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English entries with incorrect language header",
"English entries with topic categories using raw markup",
"English lemmas",
"English multiword terms",
"English nouns",
"English terms with non-redundant non-automated sortkeys",
"English terms with quotations",
"English uncountable nouns",
"Mandarin terms with redundant transliterations",
"Quotation templates to be cleaned",
"en:Category theory",
"en:Mathematics"
],
"examples": [
{
"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": "quotation"
}
],
"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."
],
"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."
],
"tags": [
"uncountable"
],
"topics": [
"mathematics",
"sciences"
],
"wikipedia": [
"category theory"
]
}
],
"translations": [
{
"code": "cmn",
"lang": "Chinese Mandarin",
"sense": "branch of mathematics",
"word": "範疇論"
},
{
"code": "cmn",
"lang": "Chinese Mandarin",
"roman": "fànchóulùn",
"sense": "branch of mathematics",
"word": "范畴论"
},
{
"code": "cs",
"lang": "Czech",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teorie kategorií"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "branch of mathematics",
"word": "kategoriateoria"
},
{
"code": "fr",
"lang": "French",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "théorie des catégories"
},
{
"code": "de",
"lang": "German",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "Kategorientheorie"
},
{
"code": "is",
"lang": "Icelandic",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "ríkjafræði"
},
{
"code": "ms",
"lang": "Malay",
"sense": "branch of mathematics",
"word": "teori kategori"
},
{
"code": "ro",
"lang": "Romanian",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoria categoriei"
},
{
"code": "ru",
"lang": "Russian",
"roman": "teorija kategorij",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "теория категорий"
},
{
"code": "es",
"lang": "Spanish",
"sense": "branch of mathematics",
"tags": [
"feminine"
],
"word": "teoría de categorías"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "branch of mathematics",
"tags": [
"common-gender"
],
"word": "kategoriteori"
},
{
"code": "tr",
"lang": "Turkish",
"sense": "branch of mathematics",
"word": "kategori teorisi"
},
{
"code": "tr",
"lang": "Turkish",
"sense": "branch of mathematics",
"word": "ulam kuramı"
}
],
"word": "category theory"
}
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-04-26 from the enwiktionary dump dated 2024-04-21 using wiktextract (93a6c53 and 21a9316). 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.