Combining a monad and a comonad

DOI10.1016/S0304-3975(01)00024-XMaRDI QIDQ1603819zbMATH OpenFDO

Authors John Power, Hiroshi Watanabe

Publication date 15 July 2002

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

algebracoalgebradistributive lawmonad2-categorycomonadbialgebraKleisli construction

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1314227
• Monad compositions. I: General constructions and recursive distributive laws
• Distributive laws for monotone specifications
• Category theory for operational semantics
• Monad compositions II: Kleisli strength

Cites work

• scientific article; zbMATH DE number 431759 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3522194 (Why is no real title available?)
• scientific article; zbMATH DE number 1064116 (Why is no real title available?)
• scientific article; zbMATH DE number 1497803 (Why is no real title available?)
• Adjoint Lifting Theorems for Categories of Algebras
• Axiomatic Domain Theory in Categories of Partial Maps
• Lifting theorems for Kleisli categories
• Notions of computation and monads
• The formal theory of monads

Cited in

(41)

• Companions, codensity and causality
• Composing monads using coproducts
• Interaction laws of monads and comonads
• Monad compositions II: Kleisli strength
• Monadic combination using co limits and folds
• Corecursion up-to via causal transformations
• Cotwists of bicomonads and BiHom-bialgebras
• Coalgebraic semantics for timed processes
• Logical relations for monadic types
• scientific article; zbMATH DE number 4179373 (Why is no real title available?)
• Category theory for operational semantics
• Rule formats for timed processes
• Coherent differentiation
• Comonadic notions of computation
• Coalgebraic update lenses
• Structural operational semantics and modal logic, revisited
• Layer by layer -- combining monads
• Braided mixed datums and their applications on Hom-quantum groups
• Smash coproducts of monoidal comonads and Hom-entwining structures
• Bimonads and Hopf monads on categories
• 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
• Weak bimonoids in duoidal categories
• Monoidal ring and coring structures obtained from wreaths and cowreaths.
• Sweedler theory of monads
• Wreaths, mixed wreaths and twisted coactions
• The weak theory of monads
• No-iteration mixed distributive laws
• A bicategorical approach to actions of monoidal categories
• Algebras versus coalgebras
• A metalanguage for guarded iteration
• Adding a constant and an axiom to a doctrine
• Distributive laws for monotone specifications
• Distributive laws for monotone specifications
• Doctrines, modalities and comonads
• Comparing hierarchies of types in models of linear logic
• Lifting theorems for tensor functors on module categories.
• On the 2-categories of weak distributive laws
• Monads and comonads on module categories
• Canonical automata via distributive law homomorphisms
• Deriving distributive laws for graded linear types

This page was built for publication: Combining a monad and a comonad

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1603819)