Cocartesian fibrations and straightening internal to an infinity-topos


We define and study cartesian and cocartesian fibrations between categories internal to an infinity-topos and prove a straightening equivalence in this context.

ArXiv preprint
Louis Martini
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.