Collection Toposes Online

Organizer(s) Olivia Caramello, Alain Connes, Laurent Lafforgue

Date(s) 28/06/2021 - 30/06/2021

linked URL https://aroundtoposes.com/toposesonline/

00:00:00 / 00:00:00

20 31

The Logic and Geometry of Localic Morphisms

By Joshua Wrigley

localic morphisms

In this presentation, a substitutive syntactic site for the classifying topos of a geometric theory is introduced. This construction is understood in light of the relationship between localic expansions and internal locales. The usual syntactic site is recovered as a topos theoretic completion of the substitutive site.

Information about the video

Date of recording 28/06/2021
Date of publication 28/06/2021
Institution IHES
Language English
Audience Researchers
Format MP4

Domain(s)

MSC codes

18B25 Topoi

Document(s)

Slides

Last related questions on MathOverflow

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

Ask a question on MathOverflow

All the collection videos

4 videos

published on June 26, 2021

Olivia Caramello - Introduction to sheaves, stacks and relative toposes

4 videos

published on June 26, 2021

Laurent Lafforgue - Classifying toposes of geometric theories

4 videos

published on June 26, 2021

Charles Rezk - Higher Topos Theory

01:02:19

published on June 28, 2021

Toposes generated by compact projectives, and the example of condensed sets

By Dustin Clausen

57:38

published on June 28, 2021

Liquid vector spaces

By Peter Scholze

24:56

published on June 28, 2021

Extending the topological presheaf-bundle adjunction to sites and toposes

By Riccardo Zanfa

28:47

published on June 28, 2021

The over-topos at a model

By Axel Osmond

30:26

published on June 28, 2021

Higher Sheaves

By Georg Biedermann

01:04:50

published on June 28, 2021

Beyond the statistical perspective on deep learning, the toposic point of view: Invariance and semantic information

By Jean-Claude Belfiore

53:24

published on June 28, 2021

Topos, stacks, semantic information and artificial neural networks

By Daniel Bennequin

28:49

published on June 28, 2021

The Logic and Geometry of Localic Morphisms

By Joshua Wrigley

31:17

published on June 28, 2021

Gluing classifying toposes

By Matthias Hutzler

30:31

published on June 28, 2021

Adelic Geometry via Topos Theory

By Ming Ng

25:04

published on June 28, 2021

Every Elementary Higher Topos has a Natural Number Object

By Nima Rasekh

28:28

published on June 28, 2021

Towards higher topology

By Ivan Di Liberti

33:28

published on June 28, 2021

Ranges of functors and geometric classes via topos theory

By Peter Arndt

01:01:26

published on June 28, 2021

The sheaf-theoretic structure of contextuality and non-locality

By Samson Abramsky

01:00:51

published on June 28, 2021

Sheaves on T-topologies

By Luca Prelli

01:00:13

published on June 28, 2021

Toposes of presheaves on monoids as generalized topological spaces

By Jens Hemelaer

25:54

published on June 28, 2021

Toposes of Topological Monoid Actions

By Morgan Rogers

28:48

published on June 28, 2021

Covariant Isotropy of Grothendieck Toposes

By Jason Parker

24:58

published on June 28, 2021

A derived Gabriel-Popescu Theorem for T-structures via derived injectives

By Francesco Genovese

Copyright Carmin.tv 2024

Give feedback