Culture · Geography · Health · History · Mathematics · Natural sciences · Philosophy · Religion · Society · Technology
editIn mathematics, category theory deals in an abstract way with mathematical structures and relationships between them. Categories now appear in most branches of mathematics and in some areas of theoretical computer science and mathematical physics, and have been a unifying notion. Categories were first introduced by Samuel Eilenberg and Saunders Mac Lane in 1942-1945, in connection with algebraic topology.
The term "abstract nonsense" has been used by some critics to refer to its high level of abstraction, compared to more classical branches of mathematics. Homological algebra is category theory in its aspect of organising and suggesting calculations in abstract algebra. Diagram chasing is a visual method of arguing with abstract 'arrows'. Topos theory is a form of abstract sheaf theory, with geometric origins, and leads to ideas such as pointless topology.
Show new selections editIn category theory, a topos (plural "topoi" or "toposes") is a type of category that behaves like the category of sheaves of sets on a topological space, or more generally, like the category of sheaves on some site. The origin of Topos theory is, for the most part, found in algebraic topology. The theory has since known a considerable development and has applications in various fields, it also became a fundamental component of categorical logic.
...Other articles | Read more... |
Saunders Mac Lane (4 August 1909, Taftville, Connecticut – 14 April 2005, San Francisco) was an American mathematician who cofounded category theory with Samuel Eilenberg. Their original motivation was homology theory and led to the formalization of what is now called homological algebra. His most recognized work in category theory is the textbook Categories for the Working Mathematician (1971).
More biographies... editHomological algebra • Additive categories
Duality theories • Sheaf theory
Higher category theory • Monoidal categories
Categorical logic • Topos theory
Category-theoretic categories
Objects • Functors
Category theorists
In homological algebra, the snake lemma, a statement valid in every abelian category, is the crucial tool used to construct the long exact sequences.
More pictures... editHomological algebra: Abelian category • Sheaf theory • K-theory
Topos theory • Enriched category theory • Higher category theory
Monoidal category • Closed category • Dagger category
More category theory topics
edit
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
|
Algebra | Analysis | Category theory |
Computer science |
Cryptography | Discrete mathematics |
Geometry | |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Logic | Mathematics | Number theory |
Physics | Science | Set theory | Statistics | Topology |
Category theory on Wikinews | Category theory on Wikiquote | Category theory on Wikibooks | Category theory on Wikisource | Category theory on Wiktionary | Category theory on Wikimedia Commons |
News | Quotations | Manuals & Texts | Texts | Definitions | Images & Media |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
Purge server cache