Category theory
This is an old revision of this page, as edited by Pixologic (talk | contribs) at 21:37, March 14, 2007. It may differ significantly from current revision.
Category theory abstracts mathematical structures and the relationships between them. Many concepts in mathematics, computer science and mathematical physics can be phrased in the language of categories and morphisms between categories. Categories were first introduced by Samuel Eilenberg and Saunders Mac Lane in 1942 as a tool in the study of algebraic topology.