论文标题
关于卡卡丁纤维的注释
A note on coCartesian fibrations
论文作者
论文摘要
我们证明了（CO）笛卡尔纤维以及矫正和不连续的等效性的适当性，当基座是小类的神经时，它与笛卡尔产品兼容。
We prove properness of (co)Cartesian fibrations as well as a straightening and unstraightening equivalence, which is compatible with cartesian products, when the base is the nerve of a small category.
