category theory
EnglishEdit
NounEdit
category theory (uncountable)
 (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.
 1984, Robert Goldblatt, Topoi, the categorial analysis of logic, p. 3
 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 settheory, the outcome is an entirely new categorial foundation of mathematics! The categorytheorists attitude that "function" rather than "set membership" can be seen as the fundamental mathematical concept has been entirely vindicated. The preeminent 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.
 1984, Robert Goldblatt, Topoi, the categorial analysis of logic, p. 3
TranslationsEdit
branch of mathematics

