笛卡尔立方集上的等价模型结构
宇宙学与河外天体物理
2025-01-14 v2 广义相对论与量子宇宙学
高能物理 - 唯象学
高能物理 - 理论
摘要
我们在一个 Quillen 模糊范畴中构建了一个对齐同伦类型论的构造模型，该模型在经典情形下呈现出通常的空间同伦论。我们的模型基于笛卡尔立方范畴的预历范畴，这是一个良好行为的 Eilenberg-Zilber 范畴。关键创新是对立方 Kan 纤维映射规范添加了一个额外的等价性条件，可描述为对区间基类统一纤维在对称序列立方集范畴中的 pullback。该模型开发中的主要技术结果已在计算机证明助手中形式化。
引用
@article{arxiv.2406.18496,
title = {$\Lambda_{\rm s}$CDM cosmology: Alleviating major cosmological tensions by predicting standard neutrino properties},
author = {Anita Yadav and Suresh Kumar and Cihad Kibris and Ozgur Akarsu},
journal= {arXiv preprint arXiv:2406.18496},
year = {2025}
}
备注
24 pages, 6 figures, 3 tables, matches the version published in JCAP