The following is Edsko de Vries' overview of The Catsters' Category Theory videos.

[The graphical overview is no longer available as it used a java applet and these are no longer supported.]

Suggestions for improvements are always welcome.

- Basics
- Limits and Colimits
- Terminal and Initial Objects
1
2
3
- Products and Coproducts
1
2
3
4
- Pullback and Pushouts
1
2
- General Limits and Colimits
1
2
3
4
5
6

- Natural Transformations
1
2
3
4
- Representable Functors and Yoneda
1
2
3
- Adjunctions
- Introduction
1
2
4

(Adjunctions 2 includes a nice description of what it means for an isomorphism to be ``natural in A'')
- Adjunctions and Monads
3
5
6
7
- Adjunctions from Morphisms
1
2
3
4
5

- String Diagrams
- Introduction
1
2
3
4
5
- Visualization: Open-closed cobordisms
1
2
3

- Specific Constructions
- Slice and Comma Categories
1
2
- Coequalisers
1
2
- Monads
- Introduction
1
2
3
4
5
- Distributive Laws
1
2
3
4

- Group Objects and Hopf Algebras
1
2
3
4
5
6
- Monoid Objects
1
2

- Generalizations
- Two-categories
1
2
- Double Categories
1
- Multicategories
1
2
- Metric Spaces and Enriched Categories
1
2
- Bicategories
- Spans
1
2
- Eckmann-Hilton
1
2