Laurent Lafforgue - La notion de vérité selon Grothendieck - 2018 Alain Connes - Un topo sur les topos - 2017 Joyal Connes Caramello Lafforgue - General discussion - 2015 Olivia Caramello - Introduction to categorical logic 1