Category Theory Course at Kent
Notes of the course:
The second set of notes is the one that we used in the course which contains the following material:
- [24/01/2025] The computational trinitarianism (notes)
- [31/01/2025] Initial, terminal objects and Products (notes)
- [07/02/2025] The Naturals Numbers object (notes)
- [14/02/2025] Induction on the naturals (notes)
- [21/02/2025] Products, Coproducts and Exponentials (notes)
- [7/03/2025] Simply Typed \(\lambda\)-calculus and its semantics (notes)
- [14/03/2025] Functors and Natural Transformations (notes)
- [28/03/2025] The Yoneda Lemma for Type Theorists (notes)
- [4/04/2025] Type Isomorphisms via The Yoneda Lemma (notes)
- [11/04/2025] List Optimisations via Caley’s Theorem (notes)
- [23/05/2025] A Monad is a Monoid in the Category of Endofunctors (notes)