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