$\infty$内部的余笛卡儿纤维化和拉直-topos
Cocartesian fibrations and straightening internal to an $\infty$-topos
摘要：
我们定义和研究范畴内部的$\infty$ -topos和证明矫直等价在这种情况下，carnival和cocarnival纤维化。
英文摘要：
We define and study cartesian and cocartesian fibrations between categories internal to an $\infty$-topos and prove a straightening equivalence in this context.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
