对称幺半范畴的张量积
范畴论
2008-06-11 v2 代数拓扑
摘要
我们引入了一种具有下列性质的对称幺半范畴的张量积。令 SMC 表示一个 2-范畴，其对象为小对称幺半范畴，态射为对称幺半函子，2-态射为幺半自然变换。我们的张量积连同适当的单位元，构成了 SMC 上一种结构的一部分，该结构是对称幺半闭范畴的 2-范畴版本。这一结构出奇地简单。特别是，涉及张量积的结合律和对称律以及单位消去律的态射是 2-自然的，并满足相干公理，这些公理表现为严格交换图。我们还证明了由 SMC 的 2-态射生成的同余关系所商得的范畴容许一个对称幺半闭结构。
引用
@article{arxiv.0711.0324,
title = {Tensor product for symmetric monoidal categories},
author = {Vincent Schmitt},
journal= {arXiv preprint arXiv:0711.0324},
year = {2008}
}
评论
Improved version, with better results and better proofs