Mathematics Atlas

How Proof Is Made
Branches of Mathematics

Category Theory

Also Known As Abstract Nonsense

Citation Formats

General Reference

APA Style

BibTeX

Category theory is a general theory of mathematical structures and their relations, providing a unifying language for constructions that recur across different areas of mathematics.

Facts
Central Question
What is common to the structures and constructions that recur across different branches of mathematics, independent of the particular objects involved? 1
Key Debate
The subject was informally nicknamed general abstract nonsense at its own 1942 founding, in Saunders Mac Lane's recollection of introducing categories with Samuel Eilenberg, a self-deprecating name for its high level of abstraction that stuck as an affectionate, non-derogatory term among mathematicians rather than a real objection to the subject's usefulness. 2
Cross-Tradition Connections

Includes

Sources
1. Category Theory (Wikipedia)
Wikimedia Foundationlead paragraph
Quote, lead paragraph
Category theory is a general theory of mathematical structures and their relations.
View the Source
2. Abstract Nonsense (Wikipedia)
Wikimedia Foundationlead paragraph
Quote, lead paragraph
a subject then called 'general abstract nonsense'
View the Source
Alexander Grothendieck (Wikipedia)
WikipediaIncludes: Alexander Grothendieck, Lead section
Quote, Includes: Alexander Grothendieck, Lead section
His research extended the scope of the field and added elements of commutative algebra, homological algebra, sheaf theory, and category theory to its foundations, while his so-called "relative" perspective led to revolutionary advances in many areas of pure mathematics.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.

View At A Past Year

The atlas records no dated fact of its own for this entry, so there is no other year to choose.