most recent 30 from http://mathoverflow.net 2013-05-21T09:12:50Z http://mathoverflow.net/feeds/question/97496 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/97496/monads-and-comonads-that-interact Ben Sprott 2012-05-20T18:15:54Z 2012-05-20T18:40:38Z

<p>Hi,</p> <p>I am reading Awodey's text "Category Theory". In section 10.4 he talks about comonads and monads that occur together and interact and he says that "possibility" and "necessity" in propositional modal logic is an example. Can anyone give a few more interesting examples of interacting monads and comonads?</p> <p>In particular, I am interested to know if interacting (co)monads form a frobenius algebra. Can ee define a frobenius algebra with a suitable monad comonad pair? Also, if anyone has seen a cstar algebra presented as a monad comonad pair, please let me know.</p>