摘要：从Kock等人的多项式方法来定义高阶图形，我们推导出一个高阶图形的范畴，并证明其集合值预层，或者称为高阶图形集合，与多对一多项式图形等价。作为一个直接推论，我们证明高阶图形集合等价于多主题集合，这是由Harnick等人引入和研究的，同时我们也解决了Henry的一个开放问题。
作者：C''edric Ho Thanh
论文ID：1806.08645
分类：Category Theory
分类简称：math.CT
提交时间：2021-09-23
PDF 下载： 英文版 中文版pdf翻译中