Olivia Caramello's website



  • "Introduction to categorical logic, classifying toposes and the 'bridge' technique", 5-hour lecture course given in English at the conference "Topos à l'IHÉS" (23-27 November 2015). The videos of the four lectures are available here. The syllabus of the course is available here. An edited version of the four lectures with titles for the various sections (kindly prepared by S. Dugowson) is available here.


  • One-hour interview (in French) by S. Dugowson and A. Khelif, filmed by L. Honnorat at IHÉS. Written synthesis by L. Honnorat available here.


  • "Toposes as unifying 'bridges' in Mathematics", 18-hour lecture course given in French at the Institut de mathématiques de Jussieu (Universités Paris 6-7) from the 14th to the 31st of January 2013.
    This course, whose programme can be found here, was organized by the « Équipe de logique catégorique » and the « Laboratoire Preuves, Programmes et Systèmes »  of the Paris 7 University; video recordings of the lectures are available at this website.


  • "Théorie de Galois topologique", seminar presenting the paper "Topological Galois Theory" given at the University Paris 7 on 16th January 2013. A video recording is available at this website.

  •  "Caractérisation d’invariants topos-théoriques en termes de sites", seminar presenting (some of the results of) the papers "Site characterizations for geometric invariants of toposes" and "Topologies for intermediate logics" given at the University Paris 7 on 6th February 2013. A video recording is available at this website.