论文标题
灰色张量产品和饱和$ n $ complicial套件
Gray tensor product and saturated $N$-complicial sets
论文作者
论文摘要
我们表明,带有标记的简单组合的预算和张量产品与饱和$ n $ complicial套件的同型理论(这是$(\ infty,n)$类别的拟议模型),分别是quillen双函数和同型双函数的形式。
We show that the pretensor and tensor products of simplicial sets with marking are compatible with the homotopy theory of saturated $N$-complicial sets (which are a proposed model of $(\infty,N)$-categories), in the form of a Quillen bifunctor and a homotopical bifunctor, respectively.