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!

Video of Higher Structures Seminar talk

The video of my recent talk at the Higher Structures Seminar is 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!

F1 World Seminar

Tomorrow, Wednesday the 22nd of March, at 14:30 CET, I shall give a talk on toposes as ‘bridges’ at the F1 World Seminar.

The talk can be attended through Zoom; to receive the link to connect, you have to subscribe to the seminar’s mailing list.

Further information is avaiable at the Seminar’s webpage.

Higher Structures Seminar

Tomorrow, Tuesday the 13th of March, I will give an online introductory talk to the theory of toposes as ‘bridges’ at the Higher Structures Seminar of the Feza Gursey Center for Physics and Mathematics at 16:45 (Istanbul local time) or 14:45 (CET).

You can attend the talk through Zoom, by clicking on this link and inserting the following credentials: Meeting ID: 969 5659 6842; Passcode: 442777.

Looking forward to seeing many of you there!

Slides: “Toposes as ‘bridges’ for mathematics and artificial intelligence”

The slides of my talk at the Workshop on Semantic Information and Communication are available for download:

Colloquium talk at Warwick

On Friday the 3rd of March at 5pm CET I will give a talk on toposes as ‘bridges’ at the Mathematics Colloqium of the University of Warwick.

The talk will be streamed through Microsoft Teams: to attend it, click here.

Thanks again to the organisers Sam Chow and Tobias Grafke for their kind invitation. Looking forward to seeing many of you there!

On Copernicus and Grothendieck

The slides of my recent talk at the conference in honor of Jean-Jacques Szceciniarz are available here:

The talk presents an analogy between the role of the Sun in Copernicus’ vision and that of Grothendieck toposes as ‘bridges’ between different mathematical theories, by building on the general notion of a ‘bridge’ object:

The Sun as a ‘bridge’ object