Collection Laurent Lafforgue - Classifying toposes of geometric theories

Appears in collections : Toposes Online, Fields medallists - 2002

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

All the collection videos (4)

01:07:20

published on June 24, 2021

1/4 Classifying toposes of geometric theories

By Laurent Lafforgue

59:19

published on June 24, 2021

2/4 Classifying toposes of geometric theories

By Laurent Lafforgue

01:10:28

published on June 24, 2021

3/4 Classifying toposes of geometric theories

By Laurent Lafforgue

52:35

published on June 24, 2021

4/4 Classifying toposes of geometric theories

By Laurent Lafforgue

Mathematics
and Interactions

Not Only Scalar Curvature Seminar

Arithmetic Geometry – A Conference in Honor of Hélène Esnault on the Occasion of Her 70th Birthday

Clément Delcamp : Topological Symmetry and Duality in Quantum Lattice Models

Lean for the curious mathematician / Lean pour mathématiciens

Collection Laurent Lafforgue - Classifying toposes of geometric theories

1/4 Classifying toposes of geometric theories

2/4 Classifying toposes of geometric theories

3/4 Classifying toposes of geometric theories

4/4 Classifying toposes of geometric theories

Finiteness Questions for Étale Coverings with Bounded Wild Ramification at the Boundary

Donaldson-Thomas Invariants: Classical, Motivic, Quadratic and Real

Pure Local Systems Over Local Fields

Finite Type Properties of (Tame) Fundamental Groups

Various Remarks on the Donagi-Pantev Program for Construction of Hecke Eigensheaves

Complex analysis in Lean

Stone duality and its formalization

Finite Type Properties of (Tame) Fundamental Groups

Coq/Rocq tutorial: Ssreflect tactics and the MathComp library

Working with Mathlib