skip to content

Pre-sheaves of spaces and the Grothendieck construction in higher geometry

Presented by: 
Danny Stevenson University of Adelaide
Friday 31st March 2017 - 13:30 to 14:30
INI Seminar Room 1
The notion of pre-stack in algebraic geometry can be formulated either in terms of categories fibered in groupoids, or else as a functor to the category of groupoids with composites only preserved up to a coherent system of natural isomorphisms.  The device which lets one shift from one perspective to the other is known as the `Grothendieck construction' in category theory.  
A pre-sheaf in higher geometry is a functor to the ∞-category of ∞-groupoids; in this context keeping track of all the coherent natural isomorphisms between composites becomes particularly acute.  Fortunately there is an analog of the Grothendieck construction in this context, due to Lurie, which lets one `straighten out' a pre-sheaf into a certain kind of fibration.  In this talk we will give a new perspective on this straightening procedure which allows for a more conceptual proof of Lurie's straightening theorem. 

The video for this talk should appear here if JavaScript is enabled.
If it doesn't, something may have gone wrong with our embedded player.
We'll get it fixed as soon as possible.
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons