更严格 n 类范畴的 homotopy 理论

我们通过要求满足由 Hadzihasanovic 定期有向复合物的理论控制的更高交换律，从而使严格 n 类更严格。我们研究更严格 n 类的第一个性质，特别是我们定义 Gray 乘积，并证明在 suspension 下的稳定性，这是非平凡的。在回顾和简要扩展 diagrammatic sets 及其关联模型结构以处理 $(\infty, n)$-类的基础之后，我们在更严格 n 类上构建一种 folk model 结构，表明 walking equivalence 包含于 diagrammatic sets 中的更严格 polygraph 生成的 walking equivalence 中，最后说明更严格 n 类的 folk model 结构是沿着 nerve 构造从 diagrammatic model 结构右传递的。