Dualizing cartesian and cocartesian fibrations

From MaRDI portal



Abstract: In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" pvee of a cartesian fibration p, and we show they are classified by the same functor to mathbfCatinfty.





Cited in
(34)








This page was built for publication: Dualizing cartesian and cocartesian fibrations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4563228)