论文标题
双振动
Double Fibrations
论文作者
论文摘要
本文定义了双元素（双类别的纤维），并描述了其关键示例和属性。特别是，它显示了双元素如何与现有的纤维化概念（例如单纤维纤维和离散的双振动）相关，证明了用于双元素的表示定理，并显示了双振动是一种内部纤维的类型。
This paper defines double fibrations (fibrations of double categories) and describes their key examples and properties. In particular, it shows how double fibrations relate to existing fibrational notions such as monoidal fibrations and discrete double fibrations, proves a representation theorem for double fibrations, and shows how double fibrations are a type of internal fibration.
