30 November 2021 to 2 December 2021
Le Bois-Marie
Europe/Paris timezone

A Functorial Excursion between Algebraic Geometry and Linear Logic (in person)

1 Dec 2021, 10:50
50m
Centre de conférences Marilyn et James Simons (Le Bois-Marie)

Centre de conférences Marilyn et James Simons

Le Bois-Marie

35, route de Chartres 91440 Bures-sur-Yvette

Speaker

Paul-André Melliès (CNRS, Université de Paris)

Description

In this talk, I will use the functor of points approach to Algebraic Geometry to establish that every covariant presheaf X on the category of commutative rings — and in particular every scheme X — comes equipped “above it” with a symmetric monoidal closed category PshModX of presheaves of modules. This category PshModX defines moreover a model of intuitionistic linear logic, whose exponential modality is obtained by glueing together in an appropriate way the Sweedler dual construction on ring algebras. The purpose of this work is to explore the idea that linear logic is a logic of generalised vector bundles, in the same way as dependent type theory is understood today as a logic of spaces up to homotopy.

Presentation Materials