论文标题
通用的科卡丁式纤维化
The universal coCartesian fibration
论文作者
论文摘要
我们通过证明通用性射击纤维的单位性能的概括来提供新的证据，证明了拉直/不发亮的对应关系。
We give a new proof of the straightening/unstraightening correspondence by proving a generalization of the univalence property of the universal coCartesian fibration.
