凝聚同伦类型论中的量子规范场论
数学物理
2014-08-04 v1 计算机科学中的逻辑
范畴论
math.MP
摘要
我们在同伦类型论的形式语言中实现了一组称为“凝聚”（cohesion）的新公理。随后，我们指出由此产生的凝聚同伦类型论如何自然地作为量子规范场论核心概念的形式基础。本文是对作者在其他地方详细展开的工作的简要综述。
引用
@article{arxiv.1408.0054,
title = {Quantum Gauge Field Theory in Cohesive Homotopy Type Theory},
author = {Urs Schreiber and Michael Shulman},
journal= {arXiv preprint arXiv:1408.0054},
year = {2014}
}
备注
In Proceedings QPL 2012, arXiv:1407.8427