Dualizing cartesian and cocartesian fibrations
classification
🧮 math.CT
math.AT
keywords
cartesiancocartesianfibrationclassifiedconstructiondualdualizingexplicit
read the original 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}$.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.