摘要:将字符串图的拼贴作为粘合多个多重范畴的图示语法。将字符串图的拼贴解释为指向的双模向函手。作为这种技术的主要示例,我们介绍了双模向范畴的字符串图,函手盒的字符串图以及内部图的字符串图。
作者:Dylan Braithwaite, Mario Rom''an
论文ID:2305.02675
分类:Category Theory
分类简称:math.CT
提交时间:2023-05-05
PDF 下载: 英文版 中文版pdf翻译中