论文标题
Cocartesian振动和内部拉直$ \ infty $ -Topos
Cocartesian fibrations and straightening internal to an $\infty$-topos
论文作者
论文摘要
我们定义并研究了$ \ 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.
