PROPs for involutive monoids and involutive bimonoids
Algebraic Topology
2021-02-15 v2 Commutative Algebra
Category Theory
Abstract
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.
Cite
@article{arxiv.2005.07968,
title = {PROPs for involutive monoids and involutive bimonoids},
author = {Daniel Graves},
journal= {arXiv preprint arXiv:2005.07968},
year = {2021}
}
Comments
12 pages. Published in Theory and Applications of Categories. Major revision of the previous version. Theorems are now stated in a more general context