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