View source for Category Theory (subject)


__TOC__
==Overview and reach==
Quite often in maths we have objects or spaces, like [[group|groups]] or [[topological space|topologies]] and [[function|functions]] between them, like [[homomorphism (group)|group homomorphisms]] or [[continuous maps]] where given 3 such objects:
* {{M|A}}, {{M|B}}, {{M|C}} which are say, groups or topologies, and given
* the maps {{M|f:A\rightarrow B}} and {{M|g:B\rightarrow C}} which are say, group homomorphisms or continuous maps
Then the map:
* {{M|g\circ f:A\rightarrow C}} is also a group homomorphism, or continuous map.
Notice also that each space has an "identity map" a map that maps it to iteself. Which is either a group homomorphism, or a continuous map using the terms of this example

Because this structure occurs so frequently it is fit for study and abstraction. 

'''Category theory is the study of objects linked by arrows, where arrows compose'''. In fact that is the definition of a [[category]], a thing with objects and arrows, where the arrows compose. 

The most familiar category to the reader will be [[SET (category)|{{M|\mathrm{SET} }}]]

Before the reader thinks "ah, but are all arrows not just functions? Don't all arrows compose by [[function composition]]" they should see [[Example of a category whose arrows compose not by function composition]].

==Functors==
A [[functor]] comes in two forms, but both are essentially a "morphism between categories" that preserve arrow composition. 
===Example===
For example, there is a functor between [[TOP (category)|{{M|\mathrm{TOP} }}]] and [[GROUP (category)|{{M|\mathrm{GROUP} }}]], this is given by the map that sends each topology to its [[fundamental group]]


{{ProjectTodo|Subject page refactoring|Flesh out page}}

Any readers reading this with the above "todo" in place, see the pages linked by this page, they should contain enough terms to explore, if not check out the navbox.

{{Category theory navbox}}
[[Category:Subjects]]
[[Category:Category Theory]]