Scifaro

中文

同伦类型论的一个立方模型

范畴论 2016-07-22 v1 逻辑

作者: Steve Awodey

在 arXiv 上查看 ↗ PDF ↗

摘要

我们在笛卡尔立方集上构造了一个代数弱因式分解系统 $(L, R)$ ，其中由1-立方 $I$ 诱导的典范路径对象因式分解 $A \to A^I \to A\times A$ 对于任意 $R$ -对象 $A$ 都是一个 $L$ - $R$ 因式分解。

关键词

同伦类型论立方模型代数弱因式分解系统笛卡尔立方集路径对象因式分解

引用

@article{arxiv.1607.06413,
  title  = {A cubical model of homotopy type theory},
  author = {Steve Awodey},
  journal= {arXiv preprint arXiv:1607.06413},
  year   = {2016}
}

备注

Lecture notes from a series of lectures for the Stockholm Logic group