haskell - Is there a term for a monad that is also a comonad? -


i'm wondering whether there's concise term that's both monad , comonad. i've done searching, , know these structures exist, haven't found name them.

such creature, subject conditions, called "hopf monad" or "bimonad" (http://ncatlab.org/nlab/show/hopf+monad).

however, requires fulfilling number of axioms regarding distributive properties, , haven't seen come in programming context in particular way.


Comments

Popular posts from this blog

matlab - "Contour not rendered for non-finite ZData" -

delphi - Indy UDP Read Contents of Adata -

javascript - Any ideas when Firefox is likely to implement lengthAdjust and textLength? -