Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
1 to 1 of 1