Combining a monad and a comonad
From MaRDI portal
Recommendations
Cites work
- Adjoint Lifting Theorems for Categories of Algebras
- Axiomatic Domain Theory in Categories of Partial Maps
- 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?)
- Lifting theorems for Kleisli categories
- Notions of computation and monads
- The formal theory of monads
Cited in
(47)- Layer by layer -- combining monads
- Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones
- Comparing hierarchies of types in models of linear logic
- Smash coproducts of monoidal comonads and Hom-entwining structures
- Corecursion up-to via causal transformations
- The cosemisimplicity and cobraided structures of monoidal comonads
- Cotwists of bicomonads and BiHom-bialgebras
- Weak bimonoids in duoidal categories
- Distributive laws for monotone specifications
- Wreaths, mixed wreaths and twisted coactions
- Algebras versus coalgebras
- Coalgebraic semantics for timed processes
- Coalgebraic update lenses
- Rule formats for timed processes
- Comonadic notions of computation
- Structural operational semantics and modal logic, revisited
- Composing monads using coproducts
- No-iteration mixed distributive laws
- Companions, codensity and causality
- Lifting theorems for tensor functors on module categories.
- Bimonads and Hopf monads on categories
- scientific article; zbMATH DE number 4179373 (Why is no real title available?)
- On the 2-categories of weak distributive laws
- Monad compositions II: Kleisli strength
- Logical relations for monadic types
- Monadic combination using co limits and folds
- scientific article; zbMATH DE number 1314227 (Why is no real title available?)
- Monoidal ring and coring structures obtained from wreaths and cowreaths.
- Braided mixed datums and their applications on Hom-quantum groups
- Distributive laws for monotone specifications
- Doctrines, modalities and comonads
- Interaction laws of monads and comonads
- A bicategorical approach to actions of monoidal categories
- A metalanguage for guarded iteration
- Coherent differentiation
- Sweedler theory of monads
- Adding a constant and an axiom to a doctrine
- Canonical automata via distributive law homomorphisms
- Deriving distributive laws for graded linear types
- The quantum monadology
- Categorical centers and Yetter-Drinfel'd-modules as 2-categorical (bi)lax structures
- No go theorems: directed containers that do not distribute over distribution monads
- Coherent Taylor expansion as a bimonad
- The formal theory of monads, univalently
- Category theory for operational semantics
- Monads and comonads on module categories
- The weak theory of monads
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)
