# Paul Lessard

Here is a list of talks given by Paul Lessard at the Australian Category Seminar. Click on the title of a talk for an abstract.

- A Question About Homotopies of Product Systems, Prefaced with an Introduction to A^1 / Motivic Homotopy Theory and Oestvaersâ€™s Motivic-style Homotopy Theory of C*-algebras – 24 February 2021
- Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 3) – 26 August 2020
- Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 2) – 19 August 2020
- Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (part 1) – 12 August 2020
- Spectra as locally finite Z-groupoids (part 5) – 25 March 2020
- Spectra as locally finite Z-groupoids (part 4) – 4 March 2020
- Spectra as locally finite Z-groupoids (part 3) – 19 February 2020
- Spectra as locally finite Z-groupoids (part 2) – 6 November 2019
- Spectra as locally finite Z-groupoids – 2 October 2019