SkipCaptcha
710
edits
Changes
Jump to navigation
Jump to search
Line 1:
Line 1: − + + + + + +
very vague motivation for why we talk about categories. incomprehensible for now, but i'll work on it
'''Category theory''' is a branch of mathematics that studies and analyzes different types of mapping between sets.
'''Category theory''' is a branch of mathematics that studies and analyzes different types of mapping between sets.
A category consists of multiple objects, where an object can be almost anything. For example, an object can be a topological space, for which the category would be all topological spaces.
A category consists of a collection of objects, together with a collection of maps between those objects, called "morphisms", and a way to compose morphisms. Many familiar mathematical objects may be fit into a category:
:'''Set''' is the category of [[set|sets]]. The objects of '''Set''' are just sets, in the usual sense. A morphism between two objects '''A''' and '''B''' in set is just a function from '''A''' to '''B'''. The composition of morphisms is just the composition of set functions.
:'''Vect'''<math>{}_k</math> is the category of [[vector space|vector spaces]] over a [[field]] k. A morphism in this category is a linear transformation between two vector spaces.
:'''Top''' is the category of [[topological space|topological spaces]], with maps as [[continuous]] functions.
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]].
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]].
The power of category theory lies generally not in its power in producing new results, but as a unifying language showing that constructions in many different areas of mathematics are really analogous. An example of this is the [[product]] operation. Given two sets, it is possible to form their Cartesian product, which is simply the set of ordered pairs of elements from these sets. A similar construction is possible for topological spaces. Analogously, given two vector spaces one may construct a new vector space <math>V \oplus W</math>. These three objects all have many similar properties, and for many years these properties had to be explicitly proved each time such objects were dealt with in a new setting. Category theory gives a way to view all of these as examples of a single idea: the product of two objects is defined by a certain property of maps into that object. The crucial observation from category theory is that in any category, an object with the properties of "product" must satisfy various additional properties, which arise seemingly independently in all these examples.
Category theory is considered very powerful by some mathematicians. But is considered unnecessarily abstract by other mathematicians, so much so that they jokingly refer to it as "[[abstract nonsense]]".
Category theory is considered very powerful by some mathematicians. But is considered unnecessarily abstract by other mathematicians, so much so that they jokingly refer to it as "[[abstract nonsense]]".
[[category:mathematics]]
[[category:mathematics]]