Cocartesian fibrations and straightening internal to an $\infty$-topos

Abstract

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

Fixed a few typos