优雅 Reedy 预层层的单值性公理
代数拓扑
2015-01-20 v2 范畴论
摘要
我们证明了 Voevodsky 的内涵类型论单值性公理在优雅 Reedy 范畴上的单纯预层层范畴中成立。除了作者先前工作中考虑的逆范畴上的图表外，这还包括双单纯集和 -空间。这对高范畴的同伦模型研究具有潜在应用价值。
引用
@article{arxiv.1307.6248,
title = {The univalence axiom for elegant Reedy presheaves},
author = {Michael Shulman},
journal= {arXiv preprint arXiv:1307.6248},
year = {2015}
}
备注
25 pages; v2: final version, to appear in HHA