-comonoid

Dual -monoid of a -comonoid

Let be a -comonoid. Then the Dual module naturally has the structure of a -monoid. #m/thm/ralg/hopf We define the maps

where

  1. , i.e. for .
  2. , i.e. for .
Proof

Even though may not be a true dual object, we will use the string diagram notation given there. Left unitality is evident from

c

and right unitality is similar. Associativity is evident from

c

Therefore is in fact a -monoid with this multiplication and unit.

One might assume that this dualizes nicely, but unfortunately the category is not strong enough this. If we have true dual objects as in Category of finite-dimensional vector spaces, everything falls out automatically by bending wires in string diagrams.

#state/tidy | #lang/en | #SemBr