摘要：类别理论如何导致非经典逻辑系统的创建的研究: 以图的基本拓扑学为例。
作者：J.E. S''anchez-Guevara, R.A. Z''u~niga-Rojas
论文ID：2211.14421
分类：Category Theory
分类简称：math.CT
提交时间：2022-11-29
PDF 下载： 英文版 中文版pdf翻译中