notes /

Category Theory

Notes on category theory: why abstraction matters in programming, then categories, isomorphisms, opposite and product categories, exercises with my solutions, and functors. In progress.

6 of 7 sections written

1Categories

1. 1.1
   Programming and Abstraction
2. 1.2
   A First Sketch: Categories, Functors and the Hom-Functor
3. 1.3
   Categories
4. 1.4
   Constructing Categories: Opposites and Products
5. 1.5
   Exercises on Categories in progress

2Functors and Natural Transformations

1. 2.1
   Functors in progress
2. 2.2
   Natural Transformations