Course on “Relative toposes for artificial general intelligence”

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!

Toposes and their place in mathematics: an interview for the ICCM

Featured

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!

Visit to Lyon

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!

Slides: “Toposic Fraïssé-Galois theory and motivic toposes”

I am glad to share the slides of my recent talk at the ICBS Satellite Conference on Algebraic and Arithmetic Geometry, where I explained how Fraïssé theory and Galois theory can be extended and linked through a unified topos-theoretic framework that can possibly be applied to the problem of constructing motives and understanding the “independence of l” properties of l-adic cohomology.

Videos of the Paris event of the Grothendieck Institute

The videos of the recent conference organized by the Grothendieck Institute at the Institut Henri Poincaré are now available from the Institute’s YouTube channel:

The event consisted in a round table with Alain Connes, Johanna Grothendieck and Laurent Lafforgue, moderated by Stéphane Dugowson and preceded by two brief presentations by Mateo Carmona, Coordinator of the Centre for Grothendieckian Studies, and myself.

Enjoy the videos!

Visions in mathematics: from Grothendieck to the present day

The Grothendieck Institute is hosting a conference for the general public on 14 June 2023 at the Institut Henri Poincaré in Paris. This meeting, entitled “Visions in mathematics: from Grothendieck to the present day“, will explore, with talks by Mateo Carmona, Alain Connes, Stéphane Dugowson, Johanna Grothendieck, Laurent Lafforgue and myself, the issues raised by the person and visionary work of A. Grothendieck from a philosophical, literary and sociological perspective. It will also discuss mathematical themes such as topos theory and its future in today’s mathematical landscape, industrial research and the dissemination of scientific knowledge.

The conference is free of charge and open to all upon prior registration on the Institute’s website.

Looking forward to seeing many of you there!

Talk at Logica Universalis Webinar

On Wednesday the 17th of May at 4 CET I will give a talk at the Logica Universalis Webinar on the contents of my paper “The unification of Mathematics via Topos Theory”, originally written in 2010 and recently published in the book “Logic in Question” (Studies in Universal Logic, Springer-Birkhäuser, 2022).

The talk will be accompanied by a short presentation of the Grothendieck Institute by Laurent Lafforgue.

Looking forward to seeing many of you there!

Slides: “Relative topos theory via stacks: an introduction”

The slides of my introductory course to relative toposes recently given at the Lagrange Center are now available:

Videos of the inaugural event of the Grothendieck Institute

The videos of the inauguration of the Grothedieck Institute, which took place on the 3rd of December in Mondovì, are now available from YouTube.

The event was held in Italian, with transations from French of Johanna Grothendieck and Laurent Lafforgue’ talks. Stil, automatic translated subtitles are available in all languages, through the relevant YouTube option.

Thanks again to all the speakers, and to the Municipality of Mondovì for the collaboration in the organization of this event!

Visit to Luxembourg

Tomorrow and on Friday I shall visit the University of Luxembourg, and give a talk on toposes as ‘bridges’ and their applications to artificial intelligence. More details about the talk can be found here.

Looking forward to it!