论文标题
可招致类别是对称单体类别的严格化类别
Parsummable categories as a strictification of symmetric monoidal categories
论文作者
论文摘要
我们证明，关于类别的基本等价的副类别类别（Schwede定义）的同义理论等同于对称单体类别的通常同义理论。特别是，这在配备有严格的交换性，关联性和Unital（但仅部分定义）操作的类别方面产生了对称单体类别的模型。
We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy theory of symmetric monoidal categories. In particular, this yields a model of symmetric monoidal categories in terms of categories equipped with a strictly commutative, associative, and unital (but only partially defined) operation.
