Australian Category Seminar

Here is a list of all talks by Yuki Maehara at the Australian Category Seminar.
2022
  • 30 November
    Coinductive equivalences in algebraic weak ω-categories (abs)
2021
  • 17 Feburary
    Orientals as free weak ω-categories (abs)
2020
  • 5 Feburary
    Towards the formal theory of homotopy coherent monads (abs)
  • 3 June
    A cubical model for weak ω-categories (abs)
  • 29 July
    Augmented simplicial sets as M-sets
2019
  • 27 March
    Inner horns for 2-quasi-categories (abs)
  • 13 November
    Gray tensor product for 2-quasi-categories (abs)