Voir la notice de l'article provenant de la source Theory and Applications of Categories website
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.
@article{TAC_2020_35_a41, author = {Daniel Graves}, title = {PROPs for involutive monoids and involutive bimonoids}, journal = {Theory and applications of categories}, pages = {1564--1575}, publisher = {mathdoc}, volume = {35}, year = {2020}, language = {en}, url = {http://geodesic.mathdoc.fr/item/TAC_2020_35_a41/} }
Daniel Graves. PROPs for involutive monoids and involutive bimonoids. Theory and applications of categories, Tome 35 (2020), pp. 1564-1575. http://geodesic.mathdoc.fr/item/TAC_2020_35_a41/