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).

Atrium: frobenius algebra from monad and comonad

Bottom of Page

1 to 1 of 1

  1.  
    • CommentRowNumber1.
    • CommentAuthorBen_Sprott
    • CommentTimeMay 19th 2012

    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−⋆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

  1.