Combining a monad and a comonad
From MaRDI portal
Publication:1603819
DOI10.1016/S0304-3975(01)00024-XzbMath1002.68059MaRDI QIDQ1603819
Hiroshi Watanabe, A. John Power
Publication date: 15 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items (31)
A bicategorical approach to actions of monoidal categories ⋮ Coalgebraic update lenses ⋮ Comparing hierarchies of types in models of linear logic ⋮ Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones ⋮ The cosemisimplicity and cobraided structures of monoidal comonads ⋮ Doctrines, modalities and comonads ⋮ Structural Operational Semantics and Modal Logic, Revisited ⋮ Wreaths, mixed wreaths and twisted coactions ⋮ On the 2-Categories of Weak Distributive Laws ⋮ Algebras versus coalgebras ⋮ Coherent differentiation ⋮ BRAIDED MIXED DATUMS AND THEIR APPLICATIONS ON HOM-QUANTUM GROUPS ⋮ Cotwists of bicomonads and BiHom-bialgebras ⋮ No-iteration mixed distributive laws ⋮ Unnamed Item ⋮ Monoidal ring and coring structures obtained from wreaths and cowreaths. ⋮ Companions, Codensity and Causality ⋮ Logical relations for monadic types ⋮ LIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIES ⋮ Bimonads and Hopf monads on categories ⋮ Weak bimonoids in duoidal categories ⋮ Smash coproducts of monoidal comonads and Hom-entwining structures ⋮ Category theory for operational semantics ⋮ Coalgebraic semantics for timed processes ⋮ The weak theory of monads ⋮ A metalanguage for guarded iteration ⋮ Monads and comonads on module categories ⋮ Rule Formats for Timed Processes ⋮ Distributive laws for monotone specifications ⋮ Corecursion up-to via causal transformations ⋮ Comonadic Notions of Computation
Cites Work
This page was built for publication: Combining a monad and a comonad
