摘要：自由添加对象的单调类别中的强度类别可以将预单调类别和Freyd类别一样推广。我们根据具有自由添加对象的单调类别的弦图构造了一种用于强度类别的弦图。
作者：Mario Rom''an
论文ID：2305.06075
分类：Category Theory
分类简称：math.CT
提交时间：2023-05-11
PDF 下载： 英文版 中文版pdf翻译中