Dualizing cartesian and cocartesian fibrations
arXiv:1409.2165
Abstract
In this technical note, we proffer a very explicit construction of the "dual cocartesian fibration" of a cartesian fibration , and we show they are classified by the same functor to .
19 pages. Comments always welcome