Pre-sheaves of spaces and the Grothendieck construction in higher geometry
60 mins,
874.36 MB,
MPEG-4 Video
640x360,
29.97 fps,
44100 Hz,
1.94 Mbits/sec
Share this media item:
Embed this media item:
Embed this media item:
About this item
| Description: |
Stevenson, D (University of Adelaide)
Friday 31st March 2017 - 13:30 to 14:30 |
|---|
| Created: | 2017-04-04 10:24 |
|---|---|
| Collection: | Operator algebras: subfactors and their applications |
| Publisher: | Isaac Newton Institute |
| Copyright: | Stevenson, D |
| Language: | eng (English) |
| Distribution: |
World
(downloadable)
|
| Explicit content: | No |
| Aspect Ratio: | 16:9 |
| Screencast: | No |
| Bumper: | UCS Default |
| Trailer: | UCS Default |
| Abstract: | 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. |
|---|---|
Available Formats
| Format | Quality | Bitrate | Size | |||
|---|---|---|---|---|---|---|
| MPEG-4 Video * | 640x360 | 1.94 Mbits/sec | 874.36 MB | View | Download | |
| WebM | 640x360 | 953.01 kbits/sec | 418.80 MB | View | Download | |
| iPod Video | 480x270 | 522.75 kbits/sec | 229.73 MB | View | Download | |
| MP3 | 44100 Hz | 250.35 kbits/sec | 110.02 MB | Listen | Download | |
| Auto | (Allows browser to choose a format it supports) | |||||