论文标题
从灰色的角度来看$ 2 $ - 类别
$2$-Categories from a Gray Perspective
论文作者
论文摘要
在本文中，我们使用分离的表面图的图形计算从灰色类别的角度提出了$ 2 $类别的理论。作为一个扩展示例，我们考虑锥体和$ 2 $ functors的限制。然后，我们使用$ 2 $ -COMPUTADS和$ 2 $类别之间的规范相关性来解释Lax Foundor的比较结构，并将表面图计算与合成器表相比，以表示和推理它们。
In this paper we present $2$-category theory from the perspective of Gray-categories using the graphical calculus of separated surface diagrams. As an extended example we consider cones and limits of $2$-functors. Then we use the canonical adjunction between $2$-computads and $2$-categories to interpret the comparison structure of lax functors and extend the surface diagram calculus with compositor sheets in order to represent and reason about them.
