# Category:Category Theory

Jump to navigation
Jump to search

This category contains results about Category Theory.

Definitions specific to this category can be found in Definitions/Category Theory.

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

It can be described as the **theory of functors**.

## Subcategories

This category has the following 15 subcategories, out of 15 total.

### C

### D

### E

### F

### L

### M

### N

### P

### S

### U

## Pages in category "Category Theory"

The following 60 pages are in this category, out of 60 total.

### C

- Category Axioms are Self-Dual
- Category has Finite Limits iff Finite Products and Equalizers
- Category has Products and Equalizers iff Pullbacks and Terminal Object
- Category Induces Preorder
- Category of Pointed Sets is Category
- Cayley's Theorem (Category Theory)
- Cayley's Theorem (Category Theory)/Historical Note
- Characterization of Metacategory via Equations
- Coequalizer is Epimorphism
- Composite Functor is Functor
- Composition of Functors is Associative
- Contravariant Hom Functor maps Colimits to Limits
- Covariant Hom Functor is Continuous
- Covariant Hom Functor is Functor