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, sub-thing, 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 |