同伦类型论：高阶相等的综合方法
逻辑
2016-01-28 v3 范畴论
摘要
这是一篇为哲学家撰写的同伦类型论与单值基础的导论，作为《Categories for the Working Philosopher》（编者为 Elaine Landry）一书的章节。
引用
@article{arxiv.1601.05035,
title = {Homotopy Type Theory: A synthetic approach to higher equalities},
author = {Michael Shulman},
journal= {arXiv preprint arXiv:1601.05035},
year = {2016}
}
备注
16 pages. v2: fixed internal cross-references. v3: added sentence introducing refl