Collection Topos à l'IHES

Organizer(s)

Date(s) 30/04/2024

00:00:00 / 00:00:00

3 27

2/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

By Olivia Caramello

Construction of classifying toposes for geometric theories. Duality between the subtoposes of the classifying topos of a geometric theory and the quotients of the theory. Transfer of topos‐theoretic notions across the duality and their logical interpretations.

Information about the video

Date of recording 23/11/2015
Date of publication 04/12/2015
Institution IHES
Format MP4

Domain(s)

MSC codes

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

01:06:18

published on December 3, 2015

Conférence inaugurale, Pierre Cartier - Topos à l'IHES

By Pierre Cartier

01:19:29

published on December 3, 2015

1/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

By Olivia Caramello

01:20:00

published on December 4, 2015

2/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

By Olivia Caramello

01:16:25

published on December 8, 2015

3/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

By Olivia Caramello

01:17:50

published on December 8, 2015

4/4 Introduction to categorical logic, classifying toposes and the 'bridge' technique

By Olivia Caramello

01:13:22

published on December 3, 2015

1/4 A crash course in topos theory : the big picture

By André Joyal

45:47

published on December 3, 2015

2/4 A crash course in topos theory : the big picture

By André Joyal

01:19:10

published on December 7, 2015

3/4 A crash course in topos theory : the big picture

By André Joyal

01:03:21

published on December 7, 2015

4/4 A crash course in topos theory : the big picture

By André Joyal

55:23

published on December 3, 2015

Probability sheaves

By Alex Simpson

36:18

published on December 3, 2015

Class forcing and topos theory

By David Michael Roberts

34:33

published on December 3, 2015

Using the internal language of toposes in algebraic geometry

By Ingo Blechschmidt

01:04:31

published on December 3, 2015

General discussion

01:20:49

published on December 3, 2015

Very, almost, and so on (when fragments of the language find their way into Topos Theory)

By Jean Bénabou , Jean Bénabou

01:16:13

published on December 3, 2015

Synthetic prequantum field theory in a cohesive homotopy topos

By Urs Schreiber

01:07:14

published on December 3, 2015

Logic and topology

By Thierry Coquand

01:10:04

published on December 3, 2015

T-Motives

By Luca Barbieri-Viale

01:10:41

published on December 3, 2015

New variations on the notion of topos

By André Joyal

59:28

published on December 3, 2015

Model-theoretic imaginaries and localisation for additive categories

By Mike Prest

01:13:17

published on December 3, 2015

Pre-buildings as sheaves on the site of enclosures

By Carlos Simpson

27:04

published on November 30, 2015

There are categories of ‘spaces' that are not categories of locales

By Christopher Townsend

33:07

published on November 30, 2015

Morita-equivalences for MV-algebras

By Anna Carla Russo

25:49

published on November 30, 2015

From Essential Inclusions to Local Geometric Morphisms

By G. F. Lima de Carvalho e Silva

01:00:47

published on November 30, 2015

Operator algebras from toposes

By Simon Henry

01:08:59

published on November 30, 2015

Toposes are commutative rings

By Mathieu Anel

01:12:37

published on November 30, 2015

On the geometry of the adele class space of Q

By Caterina Consani

01:03:47

published on November 30, 2015

Théorie spectrale en géométrie relative

By Michel Vaquié

Copyright Carmin.tv 2024

Give feedback