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!
The slides of the double talk given by Laurent Lafforgue and myself at the recent Huawei workshop on semantics are now available:
Our talk is based on an expository article written by AI theorists on the general theme of “ontology” and “knowledge representation”. We explain that the theory of Grothendieck toposes, of their geometric presentations by sites and of their linguistic descriptions in terms of first-order theories provides the means to incarnate in mathematical objects amenable to computations what could have seemed at first sight loose philosophical views. We present a number of important basic ideas about Grothendieck toposes and motivations for beginning to study them, and give an idea of the possibilities of the theory of “toposes as bridges” and its significance for the problem of “knowledge representation”.