论文标题
用于涉及的单粒和涉及双杆的道具
PROPs for involutive monoids and involutive bimonoids
论文作者
论文摘要
涉及的非交通集的类别编码与（CO）关联（CO）乘法兼容的纠纷的结构。我们证明，在对称单体类别中的涉及双肌体类别等于代数类别，而不是由参与的非交通集合构建的类别。
The category of involutive non-commutative sets encodes the structure of an involution compatible with a (co)associative (co)multiplication. We prove that the category of involutive bimonoids in a symmetric monoidal category is equivalent to the category of algebras over a PROP constructed from the category of involutive non-commutative sets.
