Category theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows (also called morphisms, although this term also has a specific, non categorytheoretical sense), where these collections satisfy certain basic conditions. Many significant areas of mathematics can be formalised as categories, and the use of category theory allows many intricate and subtle mathematical results in these fields to be stated, and proved, in a much simpler way than without the use of categories.
The most accessible example of a category is the Category of sets, where the objects are sets and the arrows are functions from one set to another. However it is important to note that the objects of a category need not be sets nor the arrows functions; any way of formalising a mathematical concept such that it meets the basic conditions on the behaviour of objects and arrows is a valid category, and all the results of category theory will apply to it.
One of the simplest examples of a category (which is a very important concept in topology) is that of groupoid, defined as a category whose arrows or morphisms are all invertible. Categories now appear in most branches of mathematics, some areas of theoretical computer science where they correspond to types, and mathematical physics where they can be used to describe vector spaces. Categories were first introduced by Samuel Eilenberg and Saunders Mac Lane in 1942–45, in connection with algebraic topology.
Category theory has several faces known not just to specialists, but to other mathematicians. A term dating from the 1940s, "general abstract nonsense", refers 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 manipulations in abstract algebra. Diagram chasing is a visual method of arguing with abstract "arrows" joined in diagrams. Note that arrows between categories are called functors, subject to specific defining commutativity conditions; moreover, categorical diagrams and sequences can be defined as functors (viz. Mitchell, 1965). An arrow between two functors is a natural transformation when it is subject to certain naturality or commutativity conditions. Functors and natural transformations ('naturality') are the key concepts in category theory^{[1]}. Topos theory is a form of abstract sheaf theory, with geometric origins, and leads to ideas such as pointless topology. A topos can also be considered as a specific type of category with two additional topos axioms.
Contents
Full article ▸
