Difference between revisions of "Category theory"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
| − | Category theory is a branch of mathematics that study abstraction of 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. Category theory has been jokingly referred to, by some mathematicians, as "abstract nonsense", due to its high level of abstraction. | + | Category theory is a branch of mathematics that study abstraction of 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]]. Category theory has been jokingly referred to, by some mathematicians, as "abstract nonsense", due to its high level of abstraction. |
[[Category:Mathematics]] | [[Category:Mathematics]] | ||
Revision as of 03:41, March 21, 2007
Category theory is a branch of mathematics that study abstraction of 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. Category theory has been jokingly referred to, by some mathematicians, as "abstract nonsense", due to its high level of abstraction.