Collection Topos à l'IHES

Organizer(s)

Date(s) 06/09/2025

00:00:00 / 00:00:00

25 27

Toposes are commutative rings

By Mathieu Anel

In this talk, we shall develop the point of view comparing (higher) toposes to commutative rings. We shall then see how the corresponding integral and differential calculus are related respectively to Verdier duality and Goodwillie calculus of functors.

Information about the video

Date of recording 25/11/2015
Date of publication 30/11/2015
Institution IHES
Licence CC BY-NC-ND
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 2025

Give feedback