Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorBen_Sprott
    • CommentTimeMay 19th 2012


    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 CC - \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.