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!
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!
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.
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!
Tomorrow (Thursday the 9th of March) I shall visit the research laboratory in Mathematics and Computer Science of CentraleSupélec, where I shall give a seminar at 14.00 on toposes as ‘bridges’ and their applications to several topics in artificial intelligence.
Looking forward to fruitful scientific exchanges at the interface of mathematics, computer science and engineering!
The slides of my talk at the Workshop on Semantic Information and Communication are available for download:
I am happy to give a talk tomorrow at the “Workshop on Semantic Information and Communication” held at the Lagrange Mathematics and Computing Research Center in Paris.
The workshop, which takes place on the 7th and 8th of March, is entitled “Towards a semantic 6G” and gathers experts from different fields whose research can contribute to the development of new conceptual architectures for communication based on semantic information.
As I shall explain in my talk, topos theory is relevant for the goals of semantic communication, and AI techniques based on semantic information more generally, in several different ways. In particular, given the capacity of toposes of embodying the semantics of a great variety of situations, using toposes as ‘bridges’ enables effective transfers of knowledge across different ways of expressing information (formalized as different ways of presenting toposes):
The links to attend the event are available from the conference webpage.
Looking forward to it!
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!
The video of my talk at Timeworld 2022 is available from YouTube:
I have just uploaded to the ArXiv a new paper, entitled “Fibred sites and existential toposes“.
The paper introduces, the context of relative topos theory via stacks, the new notions of existential fibred site and of existential topos of such a site. These concepts allow us to develop relative topos theory in a way which naturally generalizes the construction of toposes of sheaves on locales and also provides a framework for investigating the connections between Grothendieck toposes as built from sites and elementary toposes as built from triposes.
The paper also contains a fibred generalisation of the ideal-completion of a preorder site, a construction which has played a key role in the development of formal topology since the eighties:
We expect this construction to find several applications, in particular in connection with the generation of dualities from multiple representations of toposes in terms of fibred preorder sites (in the spirit of this paper), but also in Logic; indeed, applications to the construction of completions of doctrines will be provided in a forthcoming paper by my doctoral student Joshua Wrigley.
Lastly, the paper provides an explicit description of the hyperconnected-localic factorization of a geometric morphism in terms of internal locales, with applications to the construction of alternative syntactic sites for the classifying topos of a theory.
I take this opportunity to send to all of you my Season’s Greetins and very best wishes for the New Year!
UPDATE: Slides presenting the contents of the paper are available here.