Portal:Category theory
Introduction
Category theory formalizes mathematical structure and its concepts in terms of a labeled directed graph called a category, whose nodes are called objects, and whose labelled directed edges are called arrows (or morphisms). A category has two basic properties: the ability to compose the arrows associatively, and the existence of an identity arrow for each object. The language of category theory has been used to formalize concepts of other high-level abstractions such as sets, rings, and groups. Informally, category theory is a general theory of functions.
Several terms used in category theory, including the term "morphism", are used differently from their uses in the rest of mathematics. In category theory, morphisms obey conditions specific to category theory itself.
Samuel Eilenberg and Saunders Mac Lane introduced the concepts of categories, functors, and natural transformations in 1942–45 in their study of algebraic topology, with the goal of understanding the processes that preserve mathematical structure.
Selected Article
In mathematics, an Abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have nice properties. The motivating prototype example of an abelian category is the category of abelian groups, Ab. The theory originated in a tentative attempt to unify several cohomology theories by Alexander Grothendieck and has major applications in algebraic geometry, cohomology and pure category theory.
...Other articles | Read more... |
Selected Biography
Alexander Grothendieck (March 28, 1928 Berlin, Germany - November 13, 2014) is considered to be one of the greatest mathematicians of the 20th century. He made major contributions to algebraic geometry, homological algebra, and functional analysis. He was awarded the Fields Medal in 1966, and was co-awarded the Crafoord Prize with Pierre Deligne in 1988. He declined the latter prize on ethical grounds in an open letter to the media. His work in algebraic geometry led to considerable developments in category theory, such as the concept of Abelian category and derived category.
Subcategories
Selected images
Did you know?
- ... that in higher category theory, there are two major notions of higher categories, the strict one and the weak one ?
- ... that factorization systems generalize the fact that every function is the composite of a surjection followed by an injection ?
- ... that in a multicategory, morphisms are allowed to have a multiple arity, and that multicategories with one object are operads ?
- ... that it is possible to define the end and the coend of certain functors ?
- ... that in the category of rings, the coproduct of two commutative rings is their tensor product ?
- ... that the Yoneda lemma proves that any small category can be embedded in a presheaf category ?
- ... that it is possible to compose profunctors so that they form a bicategory?
Topics
WikiProjects
Things to do
- Improve the category theory articles, expand the category theory stubs
- Keep building this portal