数学 > 代数拓扑
[提交于 2024年6月26日
(此版本)
, 最新版本 2025年5月30日 (v2)
]
标题: 关于笛卡尔立方集合上的等变模型结构
标题: The equivariant model structure on cartesian cubical sets
摘要: 我们发展了一个在Quillen模型范畴中的构造性同伦类型论模型,该模型经典地呈现了通常的空间同伦理论。 我们的模型基于笛卡尔立方范畴上的预层,这是一个表现良好的Eilenberg-Zilber范畴。 关键的创新是在立方Kan fibration的定义中加入了额外的等变条件,这可以被描述为基于区间的一类均匀fibration在立方集对称序列范畴中的拉回。 我们在模型发展中取得的主要技术成果已经被形式化在一个计算机证明助手里。
文献和引用工具
与本文相关的代码,数据和媒体
alphaXiv (什么是 alphaXiv?)
CatalyzeX 代码查找器 (什么是 CatalyzeX?)
DagsHub (什么是 DagsHub?)
Gotit.pub (什么是 GotitPub?)
Hugging Face (什么是 Huggingface?)
带有代码的论文 (什么是带有代码的论文?)
ScienceCast (什么是 ScienceCast?)
演示
推荐器和搜索工具
arXivLabs:与社区合作伙伴的实验项目
arXivLabs 是一个框架,允许合作伙伴直接在我们的网站上开发和分享新的 arXiv 特性。
与 arXivLabs 合作的个人和组织都接受了我们的价值观,即开放、社区、卓越和用户数据隐私。arXiv 承诺这些价值观,并且只与遵守这些价值观的合作伙伴合作。
有一个为 arXiv 社区增加价值的项目想法吗? 了解更多关于 arXivLabs 的信息.