Collection Olivia Caramello - Introduction to sheaves, stacks and relative toposes

Apparaît dans la collection : Toposes Online

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

Toutes les vidéos de la collection (4)

01:00:38

publiée le 24 juin 2021

1/4 Introduction to sheaves, stacks and relative toposes

De Olivia Caramello

01:02:25

publiée le 24 juin 2021

2/4 Introduction to sheaves, stacks and relative toposes

De Olivia Caramello

59:58

publiée le 24 juin 2021

3/4 Introduction to sheaves, stacks and relative toposes

De Olivia Caramello

40:48

publiée le 24 juin 2021

4/4 Introduction to sheaves, stacks and relative toposes

De Olivia Caramello

Mathématiques
et Interactions

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

Multidimensional symbolic dynamics and lattice models of quasicrystals / Dynamique symbolique multidimensionnelle et modèles de quasi-cristaux sur réseau

Not Only Scalar Curvature Seminar

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

Collection Olivia Caramello - Introduction to sheaves, stacks and relative toposes

1/4 Introduction to sheaves, stacks and relative toposes

2/4 Introduction to sheaves, stacks and relative toposes

3/4 Introduction to sheaves, stacks and relative toposes

4/4 Introduction to sheaves, stacks and relative toposes

The Frobenius Action on the De Rham Moduli Space

Characteristic Classes of Étale Local Systems

Vanishing Theorems for the Irregular Hodge Filtration

Motives and (super-)representation theory: principles and case studies

Characteristic Cycle and Pushforward

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