Skip to main content

Nima Rasekh: An Example of an Elementary Higher Topos that is not a Grothendieck Higher Topos

Time: Wed 2020-01-08 10.00 - 11.45

Lecturer: Nima Rasekh, École polytechnique fédérale de Lausanne

Location: Kräftriket, house 5, room 16


The theory of Grothendieck higher toposes has been developed quite extensively, which has led to many interesting examples, from sheaves on smooth schemes to 1-excisive functors.

On the other hand, the generalization of Grothendieck higher toposes, namely elementary higher toposes, is a recent development and as of now lacked interesting examples that would demonstrate the additional theoretical strength.

The goal of this talk is to give a class of examples of elementary higher toposes that are not Grothendieck higher toposes, via the filter quotient construction. If time permits, we will focus on one example and show how its non-standard natural number object leads to non-standard truncation levels.

Belongs to: Department of Mathematics
Last changed: Jan 07, 2020