## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

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.