Talks

  • Globular weak omega categories as models of a type theory

    HoTT/UF workshop, 2021.
    abstract,slides

  • Théorie des types pour les omega-catégories faibles,

    I gave various iterations of this talk, in the following internal seminars \

Séminaire du LSL (CEA LIST, Saclay) slides
Séminaire catégories supérieures, polygraphes et homotopie, (IRIF, Paris) slides
Séminaire du LACL (Créteil) slides
Séminaire Logiques et interactions (Marseille) (blackboard presentation)
  • Théorie des types pour les omega-catégories faibles monoidales,

    Journées LHC, Lyon, Oct 2019. (in French)
    slides

  • Automatisation partielle de preuves dans CaTT - L’exemple de la suspension,

    Journées Francophones des Langages Applicatifs, Les Rousses, Jan 2019. (In French)
    slides

  • Towards a fully formalized definition of the syllepsis in weak higher categories,

    HDRA, Oxford, Jul 2018.
    slides

  • A type theory for weak omega-categories,

    EuTypes, Nijmegen, Jan 2018.
    slides

  • Towards a type theory for weak omega-functors,

    HDRA, Oxford, Sept 2017.