I am glad to share the pdf of my interview by Nathan Carruth, which will appear in print in the Notices of the International Consortium of Chinese Mathematicians.
Thanks again to Nathan for his excellent questions, which allowed me to discuss about so many different aspects of toposes and their relevance for mathematics and beyond!
On 11 July 2025 a conference and exhibition celebrating the relationships between mathematics and art will take place at the Hermite Amphitheater of the Henri Poincaré Institute (11 Rue Pierre et Marie Curie, Paris) from 2:00 p.m. to 8:00 p.m. The event is jointly organised by the Grothendieck Institute, the Institut Henri Poincaré and the MICS Laboratory of CentraleSupélec (Université Paris-Saclay).
The conference will feature talks by Charles Alunni, Coordinator of the Centre for Grothendieckian Studies (CSG), Mateo Carmona, Archivist at the CSG, and Francesco La Mantia, philosopher of language at the University of Palermo.
On the occasion of the conference, an exhibition of mathematically inspired works by Dominique Lepetz, a former student of Alexander Grothendieck, will be inaugurated in the presence of the artist.
Participation is free, subject to registration using the form available on the event webpage:
www.igrothendieck.org/en/maths-art
Looking forward to seeing many of you there!
In the forthcoming weeks, in the framework of my D’Alembert Chair at the Université Paris-Saclay, I shall give a course at the MICS Laboratory of CentraleSupélec on “Relative toposes for artificial general intelligence“.
ABSTRACT:
Topos theory can be described as the science of invariants. The theory of relative toposes consists in methods and techniques for studying toposes in relation to each other. Viewing toposes as spaces embodying information, this theory notably paves the way for the development of new, very dynamical and structural forms of modelling, both of ‘real’ entities and phenomena, and of (natural or artificial) learning processes. In particular, it naturally leads to the design of systems implementing principles of meta-learning (in the sense of learning taking place at different levels of abstraction constructed on top of each other).
The first part of the course will provide a conceptual introduction to the theory of relative toposes and its relevance for AI, while the second will present some first applications of this theory in connection with the modelling and solution of Raven progressive matrices and, more generally, of ARC-type problems.
N.C. No previous knowledge of topos theory is necessary for understanding the key ideas and methods presented in the course.
DATES:
– Thursday 26 June 2025, 14-16, Amphi SC.046 (Peugeot), Bouygues building (9 Rue Joliot Curie, 91190 Gif-sur-Yvette).
– Thursday 3 July 2025, 14-16, Amphi SC.046 (Peugeot), Bouygues building (9 Rue Joliot Curie, 91190 Gif-sur-Yvette).
Looking forward to seeing many of you there!
I am glad to share the slides of my recent talk on Relative toposes and meta-learning at the Computing and AI Summit in London.
In this presentation I give a conceptual introduction to the theory of relative toposes and discuss its relevance for modelling learning processes which build on top of existing knowledge through a sequence of steps lying at increasing levels of abstraction.
The ultimate aim of artificial meta-learning should be to mimic the distinctive, multi-layered way in which human learning unfolds, whilst leveraging the superior processing capabilities of machines.
We are glad to announce that the fourth edition of the international school and conference on topos theory, following the previous editions “Topos à l’IHES” (2015), “Toposes in Como” (2018) and “Toposes online” (2021), will take place in Mondovì (Italy) from 3 to 11 September 2024:
For further information and registration, please visit the event website.
We look forward to seeing many of you in Mondovì!
On Friday the 3rd of May, at 10am, I will give a talk on “Deductive systems and Grothendieck topologies” at the seminar of the research group Deducteam of the École normale supérieure Paris-Saclay.
In the talk I will show that the classical proof system of geometric logic over a given geometric theory is equivalent to new proof systems based on the notion of Grothendieck topology. Remarkably, these new systems, which are related to the classsical one through topos-theoretic ‘bridges’, are computationally much better-behaved for many purposes, as I will illustrate by discussing a few notable applications.
We are looking forward to a computer implementation of these techniques allowing to exploit all the computational advantages deriving from the multiplication of points of view which is made possible by topos theory.
You can attend the talk in presence (in Room 1Z71 of the ENS Paris-Saclay) or online, at this Zoom link.
More information is available at the seminar page.
Looking forward to seeing many of you there!
In the coming weeks, starting from Thursday the 14th of March, I will give an introductory course on topos theory at the Laboratoire MICS of CentraleSupélec (Université Paris-Saclay).
More details, including the content and schedule of the lectures, can be found at the course webpage.
Everybody is welcome!
On Tuesday the 5th of March I will give a talk at the ENS de Lyon, in the framework of their Seminar “Logique, Mathématiques, Informatique, Raisonnement“, about the work on relative topos theory that I have been pursuing in the last years, starting with the paper Relative topos theory via stacks (with R. Zanfa), and which I am currently developing with my Ph.D. students at the Grothendieck Institute.
The seminar will take place at 18 in the Amphi A / Grande Nef 1-2 of the Campus Monod of the ENS de Lyon; you may download the poster here.
Looking forward to it!
The slides of my recent talk at the AI workshop at RL China are available below.
In this presentation I propose an interpretation of learning processes in terms of the notions of mathematical theory and proof, and advocate for the importance of empowering artificial learnings systems with large formal vocabularies that will serve for expressing the concepts (and relations between them) that they will learn from data.
The aim is to obtain more robust and structured forms of learning with generalisation capabilities, and greater resilience and adaptability, mimicking the distinctive features of human intelligence.
We also consider this project as an essential step for arriving at a toposic theory of semantic information; indeed, syntax and semantics are interwined (think, for instance, of the syntactic construction of classifying toposes).
I look forward to experimentally testing these ideas with our team at the Lagrange Center in Paris.
On the occasion of the release in France of the movie Marguerite’s theorem, I was interviewed at Radio France with Mélanie Guenais and Ariane Mézard about women and mathematics.
The discussion, lasting for about one hour, has touched several different themes, from statistics related to the numbers of female students and researchers in mathematics to ways to improve mathematics education at large.
You may listen to the podcast here.