摘要：关于富有结构语义对应和单子理论等价的拓展的一般公理框架
作者：Rory B. B. Lucyshyn-Wright, Jason Parker
论文ID：2305.07076
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-15
PDF 下载： 英文版 中文版pdf翻译中