- Slides of a lecture on enveloping infinity-topoi (MURI meeting, March 2020)
- Slides of my lectures HoTT 2019 -- Summer School (Lecture I) (August 2019)
- Slides of my HoTTEST seminar Univalence & Descent (May 2019)
- Slides of a talk on What is a space? (April 2019, 6th workshop on formal topology)
- Table of contents of a book I'm editing with Gabriel Catren on New Spaces in Mathematics and Physics -- Formal and Conceptual Reflections (to be edited this year by Cambridge University Press)
Two chapters for the book:
- Introduction to the geometric aspects of topos theory: Topo-logie (2019, written with André Joyal)
- An introduction to Derived Geometry: The geometry of ambiguity (2016)
- Slides about the sequel of my joint work with Georg Biederman, Eric Finster and André Joyal on left exact localizations of topos and Goodwillie calculus (2018, talk at YaMCATS & PSSL 103)
- Slides from three lectures on topoi in Nice (2018, in french)
- The slides from a talk about Why higher categories are useful (2017, in french)
- More slides of our work with André Joyal on bar-cobar constructions
- Slides of André Joyal's talk at the AMS meeting (2012 Boston) on our work on bar-cobar constructions
- A note about why deformations are cohomological (2010)
- Introductory notes to derived categories (2010, in french)