单纯同伦类型论中的广义Chevalley判别准则
范畴论
2024-03-14 v1 计算机科学中的逻辑
代数拓扑
逻辑
摘要
我们提供了对（余）笛卡尔箭头、纤维化和函子的广义处理。与经典条件相比，端点包含被替换为任意形状包含。我们的框架是Riehl–Shulman的单纯同伦类型论，它支持合成内蕴(∞,1)-范畴理论的发展。
引用
@article{arxiv.2403.08190,
title = {Generalized Chevalley criteria in simplicial homotopy type theory},
author = {Jonathan Weinberger},
journal= {arXiv preprint arXiv:2403.08190},
year = {2024}
}
备注
19 pages. This text is based on Appendix A from author's PhD thesis arXiv:2202.13132. Comments welcome!