Abstract
We define and study cartesian and cocartesian fibrations between categories internal to an infinity-topos and prove a straightening equivalence in this context.
Type
Publication
ArXiv preprint
Louis Martini
PhD fellow in mathematics
I am a fourth year PhD student in the Department of Mathematical Sciences at the Norwegian University of Science and Technology in Trondheim, Norway.