论文标题
离散的2型纤维
Discrete 2-Fibrations
论文作者
论文摘要
本文涉及开发普通离散纤维概念的二维类似物。提出了一个定义，并表明这种离散的2启示通过与某些类别值2个函数的2等效性相对应。本文的最终目的是证明离散的2核算在2类类别的一小部分上是2个核能。
This paper is concerned with developing a 2-dimensional analogue of the notion of an ordinary discrete fibration. A definition is proposed, and it is shown that such discrete 2-fibrations correspond via a 2-equivalence to certain category-valued 2-functors. The ultimate goal of the paper is to show that discrete 2-fibrations are 2-monadic over a slice of the 2-category of categories.
