Australian Category Seminar

About Recent Past Speakers
Here is a list of all talks by Paul Lessard at the Australian Category Seminar.
2023
  • 27 September
    Categories symmetric monoidal, semi-cartesian and Markov; computads for such and variations of Shulman's practical type system for each (abs)
2021
  • 24 Feburary
    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^\ast$-algebras
  • 17 November
    The Lax-Shuffle Decomposition and the Cartesian-Gray-Shift Span
2020
  • 19 Feburary
    ⤳ from 6 November 2019 (abs)
  • 4 March
    ⤳ from 19 Feburary (abs)
  • 25 March
    ⤳ from 4 March (abs)
  • 12 August
    Elementary reasoning for structuralists, Shulman's practical type theory of symmetric monoidal categories, and sketches of a type theory for symmetric monoidal bicategories (abs)
  • 19 August
    ⤳ from 12 August
  • 26 August
    ⤳ from 19 August
2019
  • 2 October
    Spectra as locally finite Z-groupoids (abs)
  • 6 November
    ⤳ from 2 October (abs)