Laurent Lafforgue - Classifying toposes of geometric theories

Collection Laurent Lafforgue - Classifying toposes of geometric theories

Organizer(s) Olivia Caramello, Alain Connes, Laurent Lafforgue
Date(s) 24/06/2021 - 26/06/2021
linked URL https://aroundtoposes.com/toposesonline/
00:00:00 / 00:00:00
4 4

The purpose of these lectures will be to present the theory of classifying toposes of geometric theories. This theory was developped in the 1970's by Lawvere, Makkai, Reyes, Joyal and other catagory theorists, systematising some constructions of Grothendieck and his student Monique Hakim, but it still deserves to be much better known that it actually is. The last part of the lectures will present new developpments due to Olivia Caramello which, based on her principle of "toposes as bridges", make the theory of classifying toposes more applicable to concrete mathematical situations : in particular, the equivalence between geometric provability and computing on Grothendieck topologies, and general criteria for a theory to be of presheaf type.

Information about the video

MSC codes

Document(s)

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Give feedback