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