HomeAboutPeopleEventsResearchRTGPositionsGuest ProgrammeImpressum
From SFB1085 - Higher Invariants
Revision as of 18:39, 7 May 2022 by 132.199.243.25 (talk) (Created page with "AG Seminar, January 27rd 2022: - '''Joost Nuiten''' ''Unstraightening for Segal spaces'' The straightening-unstraightening correspondence of Lurie provides an equivalence be...")
AG Seminar, January 27rd 2022: - Joost Nuiten
Unstraightening for Segal spaces
The straightening-unstraightening correspondence of Lurie provides an equivalence between cocartesian fibrations over an infinity-category and functors with values in infinity-categories. In this talk, I will describe an alternative proof of this equivalence in terms of Segal spaces. This proof is closer in spirit to the classical Grothendieck construction and relies on a combinatorial result relating two types of fibrations between double categories. If time permits, I will sketch how an iterated application of this result leads to a version of unstraightening for higher categories.