A presentation 30 to 40 mins, plus a few questions

Student's choice of a topic from the list below, but feel free to come up with ideas not in the list (read a paper of your choice, a chapter on a book, an application, etc)

May 28, 2021, starting at noon

Meet on zoom, with slides or handwritten presentation

This is 50% of the final mark; the other 50% is homework

- Kan extensions see Riehl (chapter 6) or Borceux (from p. 122 of tome I) (I'm not telling you how to find books online)
- Curry-Howard: ยง1.6 here https://arxiv.org/abs/1102.1313
- more on monads and coalgebras,
- algebraic theories see Hyland-Power
- enriched categories see Kelly Chapter 1
- more on monoidal categories see Selinger
- Lambek categories see here