Varieties of Cubical Sets
Varieties of Cubical Sets
复制标题
各种立方体套装
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Edward Morehouse
中科院分区：
文献类型：
--
作者：
Ulrik Buchholtz;Edward Morehouse
我们定义了各种概念的立方集，根据网站组织使用子结构代数理论提出PRO（P）或Lawvere理论。我们证明，我们所有的网站是测试范畴的意义上的Grothendieck，这意味着相应的预层范畴的三次集模型经典同伦理论。我们精确地描述了哪些是严格的测试范畴，这意味着三次集的乘积对应于同伦类型的乘积。
We define a variety of notions of cubical sets, based on sites organized using substructural algebraic theories presenting PRO(P)s or Lawvere theories. We prove that all our sites are test categories in the sense of Grothendieck, meaning that the corresponding presheaf categories of cubical sets model classical homotopy theory. We delineate exactly which ones are even strict test categories, meaning that products of cubical sets correspond to products of homotopy types.