Definition:Category Theory

From ProofWiki
Jump to navigation Jump to search

Definition

Category theory is the branch of abstract algebra which studies categories.

It can be described as the theory of functors.


Also known as

Steve Awodey, in Category Theory, takes the arrow analogy and runs with it, by proposing the term archery in place of category theory.


Also see

  • Results about category theory can be found here.


Sources