2000 character limit reached
Cocartesian fibrations and straightening internal to an $\infty$-topos (2204.00295v2)
Published 1 Apr 2022 in math.CT and math.AT
Abstract: We define and study cartesian and cocartesian fibrations between categories internal to an $\infty$-topos and prove a straightening equivalence in this context.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.