# Definition:Category Theory

Jump to navigation
Jump to search

## Contents

## 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

- 1964: Peter Freyd:
*Abelian Categories*... (previous) ... (next): Introduction