Hi,

Is it possible to define a frobenius algebra given appropriately chosen command and monad. The frobenius algebra results in being able to convert the comonad into a monad, I guess with the Opposite functor. Further, I am interested in using this frobenius algebra to model the kinds of $C - \star$ algebras we use in quantum theory. I guess I also want to model the dagger with the Opposite functor as dagger is used to connect multiplication and comultiplication of the frobenius algebra.

]]>