2000 character limit reached
Dualizing cartesian and cocartesian fibrations (1409.2165v1)
Published 7 Sep 2014 in math.CT and math.AT
Abstract: In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" $p{\vee}$ of a cartesian fibration $p$, and we show they are classified by the same functor to $\mathbf{Cat}_{\infty}$.
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.