摘要：KZ环境下的可访问和可展示对象的定义及其应用
作者：Ivan Di Liberti, Fosco Loregian
论文ID：1804.08710
分类：Category Theory
分类简称：math.CT
提交时间：2022-05-26
PDF 下载： 英文版 中文版pdf翻译中