Category theory: Difference between revisions
imported>Peter Lyall Easthope (Moved the introductory paragraph from the talk page, with edits suggested by J.N. Chiappa.) |
imported>Andrey Khalyavin m (Numeration fixed) |
||
Line 32: | Line 32: | ||
together with a "law of composition": <math>\circ :\text{Mor}_{C}(B,C)\times\text{Mor}_{C}(A,B)\to \text{Mor}_{C}(A,C)</math> (which we denote by <math>(g,f)\mapsto g\circ f</math>) having the following properties: | together with a "law of composition": <math>\circ :\text{Mor}_{C}(B,C)\times\text{Mor}_{C}(A,B)\to \text{Mor}_{C}(A,C)</math> (which we denote by <math>(g,f)\mapsto g\circ f</math>) having the following properties: | ||
:#Associativity: <math>(h\circ g)\circ f= h\circ (g\circ f)</math> whenever the compositions are defined | |||
:#Identity: for every object <math>A\in ob(C)</math> there is an element <math>id_{A}</math> such that for all <math>f\in\text{Mor}_{C}(A,B)</math>, <math>id_{B}\circ f = f</math> and <math>f\circ id_{A}=f</math>. | |||
==Examples== | ==Examples== |
Revision as of 11:35, 23 May 2008
![](http://s9.addthis.com/button1-share.gif)
Category theory
Languages such as English have nouns and verbs. A noun identifies an object while a verb identifies an action or process. Thus the sentence "Please lift the tray." conjures an image of a tray on a table, a person who can lift it and the tray in its elevated position.
In a pocket calculator, a datum is a number or pair of numbers. The calculator has a selection of operations which can be performed. Given the number 5, pressing the "square" key produces the number 25.
The mathematical abstraction drawn from these examples is based on two concepts: objects and the things which act on objects. In category theory, the thing which acts upon an object to produce another object is called a map or morphism. When diverse mathematical structures are recognized to be categorial objects and the relationships between objects to be categorial morphisms, the theory expresses features shared by diverse subjects. For example, arithmetic has the product of a pair of numbers, set theory has the Cartesian product of a pair of sets and logic has the conjunction of a pair of assertions. These three products and many others are instances of the categorial product. Furthermore, the product is a specific instance of a limit and a limit is a specific universal property. By such generalizations, category theory unifies mathematics at a high level of abstraction.
Morphisms can be composed. In the first example the tray can be lifted L and then rotated R. Composition simply means that two actions such as L and R can be thought of as combined into a single action R∘L. The symbol ∘ denotes composition.
Morphisms are associative. Think of three motions of the tray.
- L: Lifting of the tray 10 cm above the table.
- R: Rotation of the tray 180 degrees clockwise.
- S: Shifting of the tray 1 m north while maintaining the elevated position.
The lift and rotation can be thought of as combined into a single motion followed by the shift; this is denoted S∘(R∘L). Alternatively, the rotation and shift can be thought of as a single motion following the lift: (S∘R)∘L. Associativity simply means that S∘(R∘L) = (S∘R)∘L.
An identity motion is any motion which brings the tray back to a starting position. If M denotes lowering the tray 10 cm then M∘L is an identity motion. The identity rule in the formal definition of a category states that any action preceded or following by the identity is equal to the action alone.
The formal definition embodies the preceding concepts in concise mathematical notation.
Evolution
Role in Contemporary Mathematics
Formal Definition
A category consists of the following data:
- A class of "objects," denoted
- For objects , a set such that is empty if and
together with a "law of composition": (which we denote by ) having the following properties:
- Associativity: whenever the compositions are defined
- Identity: for every object there is an element such that for all , and .
Examples
- The category of sets:
- The category of topological spaces:
- The category of functors: if and are two categories, then there is a category consisting of all contravarient functors from to , where morphisms are natural transformations.
- The category of schemes is one of the principal objects of study