对称单调范畴的自由紧闭包
摘要：通过在对称幺半范畴的对象上自由地添加伴随，我们构建了一个紧致闭范畴。完成品的态射定义为由原始范畴的对象和态射注释的字符串图。对比非对称情况，对称幺半范畴通过一个忠实的幺半函子嵌入到它的完成范畴中，但这个嵌入不是全的。我们的构造通过Int构造进行了因子分解，并在对称幺半范畴上产生了另一种自由构造：对称幺半范畴上的自由追踪幺半范畴。
作者：Antonin Delpeuch
论文ID：2201.07527
分类：Category Theory
分类简称：math.CT
提交时间：2022-01-24