Teaching.
Category theory and diagrammatic reasoning.
8 weeks starting 2019-01-30. Wednesday, 10:00—12:00, Main Campus, Kyoto University Research Bldg No 2, Room 478.
Recommended references:
- S. Abramsky, N. Tzevelekos. Introduction to categories and categorical logic.
- E. Riehl. Category theory in context.
- 2019-01-30. Lecture 1. Categories, functors and diagrams.
Notes (Updated: 2019-01-30)
- 2019-02-06. Lecture 2. Bicategories and natural transformations.
Notes (Updated: 2019-02-05)
- 2019-02-13. Lecture 3. Universal properties, limits and colimits.
Notes (Updated: 2019-02-07)
- 2019-02-20. Lecture 4. String diagrams and algebraic theories.
Notes (Updated: 2019-02-19)
- 2019-02-27. Continuation of previous lecture.
- 2019-03-06. Lecture 5. The Curry-Howard-Lambek correspondence.
Notes (Updated: 2019-03-10)
- 2019-03-13. Lecture 6. Equivalences, embeddings, adjunctions.
Notes (Updated: 2019-03-05)
- 2019-03-20. Lecture 7. Adjunctions, monads and comonads.
Notes (Updated: 2019-03-10)