用对称追踪的幺半范畴图形重写

摘要:接口化线性超图:对称追踪幺半范畴的图形语言的研究

作者:George Kaye

论文ID:2010.06319

分类:Category Theory

分类简称:math.CT

提交时间:2021-03-22

PDF 下载: 英文版 中文版pdf翻译中