23-26 October 2018
Europe/Paris timezone


Eric Finster

25 Oct 2018, 09:00


Let E be an oo-topos and F a subtopos given by a left exact localization L : E --> F. We show` that in this situation, there is a canoncial tower of subtopoi

E --> F_\infty --> ... --> F_n --> ... --> F_0 = F

When the localization L is topological, the above tower is constant. On the other hand, we show that when E is the topos of presheaves on the oo-category of finite pointed spaces, F is the topos of spaces and L evaluation at the terminal object, the above construction recovers the Goodwillie tower of the identity. We interpret F_\infty as a kind of formal completetion of E along L. Time permitting we will show how the same construction recovers Weiss's orthogonal calculus.

Presentation Materials

There are no materials yet.
Building timetable...