Definition:Category Theory

From ProofWiki
Jump to navigation Jump to search


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, 2nd ed., 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.