Category TheoryYou are currentlynot logged in Click here to log in 

Referred to as "Abstract Nonsense" even by practicing Pure Mathematicians, Category Theory is a bit like Graph Theory or Group Theory in the sense that it defines a "Thing"  in this case a Category  and then looks at the implications of the definition. The idea is that many other things in mathematics tend to be examples of this thing.
So certain types of Categories turn out to be groups, certain types of Categories turn out to be Graphs, and so on. In this way, any results in Category Theory will apply to Groups and Graphs.
Another observation is that we often perform the same types of operations on things: products, sums, subthing, and so on. The idea is that perhaps the Category captures the commonality between these things.
Here's an introduction:
(none)  (none)  (none)  
(none)  MathematicsTaxonomy  
⇌ 
You are hereCategoryTheory 

GraphTheory GroupTheory 

(none)  (none)  Euler EulerCycle EvaristeGalois FourColourTheorem GaloisTheory HamiltonCycle 
Last change to this page Full Page history Links to this page 
Edit this page (with sufficient authority) Change password 
Recent changes All pages Search 