论文标题
$（\ infty，n）$ - 类别的立方模型
A cubical model for $(\infty, n)$-categories
论文作者
论文摘要
我们为$（\ infty，n）$类别的理论（包括$ n = \ infty $）的理论提出了一个新的模型，具有连接的标记立方组类别，风味与简便的真实性相似。相对于适当定义的（Lax和伪）灰色张量产物，表征我们模型的模型结构是单一的。特别是，这些张量产品既是关联和双封型。此外，我们表明，三角仪的函子与完美前集合是左quillen函子，相对于两种灰色张量产物都是强大的。
We propose a new model for the theory of $(\infty,n)$-categories (including the case $n=\infty$) in the category of marked cubical sets with connections, similar in flavor to complicial sets of Verity. The model structure characterizing our model is shown to be monoidal with respect to suitably defined (lax and pseudo) Gray tensor products; in particular, these tensor products are both associative and biclosed. Furthermore, we show that the triangulation functor to pre-complicial sets is a left Quillen functor and is strong monoidal with respect to both Gray tensor products.
