Abstract
We define and study cartesian and cocartesian fibrations between categories internal to an infinity-topos and prove a straightening equivalence in this context.
Publication
ArXiv preprint
![Louis Martini](/authors/admin/avatar_hue2c60d8b93e912d8e684569b54da4fc3_617868_270x270_fill_q75_lanczos_center.jpg)
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.