Scifaro

中文

合成纤维化 $(\infty,1)$-范畴理论

范畴论 2022-08-15 v6 计算机科学中的逻辑代数拓扑逻辑

作者: Ulrik Buchholtz , Jonathan Weinberger

在 arXiv 上查看 ↗ PDF ↗

摘要

我们在 Riehl 和 Shulman 引入的单纯类型理论中所发展的合成 $(\infty,1)$ -范畴理论的框架下研究余笛卡尔纤维化。我们的研究以关于余笛卡尔纤维化的 Yoneda 引理作为高潮。

关键词

合成无穷范畴理论单纯类型理论余笛卡尔纤维化 Yoneda 引理无穷范畴理论

引用

@article{arxiv.2105.01724,
  title  = {Synthetic fibered $(\infty,1)$-category theory},
  author = {Ulrik Buchholtz and Jonathan Weinberger},
  journal= {arXiv preprint arXiv:2105.01724},
  year   = {2022}
}

备注

92 pages, comments welcome; v6: final version