Home › Entities › branch_of_mathematics › category theory

category theory

branch of mathematics studying categories, functors, and natural transformations
Intangible branch_of_mathematics Q217413
category theory
Tlep · Public Domain · Wikimedia
Press Enter · cited answer in seconds

Summary

category theory is a branch of mathematics[1]. It ranks in the top 8% of branch of mathematics entities by monthly Wikipedia readership (6,058 views/month).[2]

Key Facts

  • Part of: higher category theory[3], theory of sets, relations and functions[4]
  • Has use: programming language theory[5]
  • Commons category: Category theory[6]
  • Has part(s): category theory terminology[7]
  • Topic's main category: Category:Category theory[8]
  • Described by source: Sets for Mathematics[9], Armenian Soviet Encyclopedia, vol. 5[10]
  • Topic has template: Template:Category theory[11]
  • Stack Exchange tag: https://mathoverflow.net/tags/ct.category-theory[12], https://math.stackexchange.com/tags/category-theory[13], https://matheducators.stackexchange.com/tags/category-theory[14], https://physics.stackexchange.com/tags/category-theory[15], https://quantumcomputing.stackexchange.com/tags/category-theory[16], https://cstheory.stackexchange.com/tags/ct.category-theory[17]
  • Is the study of: category[18], functor[19], natural transformation[20]
  • On focus list of Wikimedia project: Wikipedia:Vital articles/Level/4[21]
  • Wikimedia outline: outline of category theory[22]
  • Maintained by WikiProject: WikiProject Mathematics[23]

Why It Matters

category theory has Wikipedia articles in 27 language editions, a strong signal of global cultural recognition.[24] It is known by 54 alternative names across languages and contexts.[25]

Related Entities

Alexander Grothendieck Andre Scedrov Benjamin Merlin Bumpus Brendan Fong Charity Charles Wells Jamie Vicary Jiří Adámek Lothar Budach mathematics Michael Barr Paolo Perrone Robert Rosebrugh Sergiu Rudeanu Valeria de Paiva

References

Programmatic citations — every numbered marker resolves to a verifiable graph row below.

Direct Wikidata claims

  1. [3] ↑ . wikidata.org.
  2. [4] ↑ . wikidata.org.
  3. [5] ↑ . wikidata.org.
  4. [6] ↑ . wikidata.org.
  5. [7] ↑ . wikidata.org.
  6. [8] ↑ . wikidata.org.
  7. [9] ↑ . wikidata.org.
  8. [10] ↑ . wikidata.org.
  9. [11] ↑ . wikidata.org.
  10. [12] ↑ . wikidata.org.
  11. [13] ↑ . wikidata.org.
  12. [14] ↑ . wikidata.org.
  13. [15] ↑ . wikidata.org.
  14. [16] ↑ . wikidata.org.
  15. [17] ↑ . wikidata.org.
  16. [18] ↑ . wikidata.org.
  17. [19] ↑ . wikidata.org.
  18. [20] ↑ . wikidata.org.
  19. [21] ↑ . wikidata.org.
  20. [22] ↑ . wikidata.org.
  21. [23] ↑ . wikidata.org.

Class ancestry

  1. [1] ↑ . Wikidata. wikidata.org.

Aggregate / graph-position facts

  1. [2] ↑ . Wikimedia Foundation. dumps.wikimedia.org.
  2. [24] ↑ . Wikidata sitelinks. wikidata.org.
  3. [25] ↑ . Wikidata aliases. wikidata.org.

📑 Cite this page

Use these citations when quoting this entity in research, articles, AI prompts, or wherever provenance matters. We aggregate Wikidata + Wikipedia + authoritative open-data sources; the stitched, scored, cross-referenced view is what 4ort.xyz contributes.

APA 4ort.xyz Knowledge Graph. (2026). category theory. Retrieved October 14, 2026, from https://4ort.xyz/entity/category-theory
MLA “category theory.” 4ort.xyz Knowledge Graph, 4ort.xyz, 14 Oct. 2026, https://4ort.xyz/entity/category-theory.
BibTeX @misc{4ortxyz_category-theory_2026, author = {{4ort.xyz Knowledge Graph}}, title = {{category theory}}, year = {2026}, url = {https://4ort.xyz/entity/category-theory}, note = {Accessed: 2026-10-14}}
LLM prompt According to 4ort.xyz Knowledge Graph (aggregator of Wikidata, Wikipedia, and authoritative open-data sources): category theory — https://4ort.xyz/entity/category-theory (retrieved 2026-10-14)

Canonical URL: https://4ort.xyz/entity/category-theory · Last refreshed: