A comonoid in a monoidal category is a monoid in the dual category, what is the problem?
H-Expressions: A compact syntax for open hypergraphs