The following pages link to Combining a monad and a comonad (Q1603819):
Displaying 34 items.
- Coalgebraic update lenses (Q283736) (← links)
- Monoidal ring and coring structures obtained from wreaths and cowreaths. (Q458392) (← links)
- Category theory for operational semantics (Q703525) (← links)
- Monads and comonads on module categories (Q734798) (← links)
- The weak theory of monads (Q986072) (← links)
- Biwreaths: a self-contained system in a 2-category that encodes different known algebraic constructions and gives rise to new ones (Q1634845) (← links)
- Comparing hierarchies of types in models of linear logic (Q1881220) (← links)
- Smash coproducts of monoidal comonads and Hom-entwining structures (Q2008600) (← links)
- Corecursion up-to via causal transformations (Q2104483) (← links)
- The cosemisimplicity and cobraided structures of monoidal comonads (Q2141335) (← links)
- Cotwists of bicomonads and BiHom-bialgebras (Q2199639) (← links)
- Weak bimonoids in duoidal categories (Q2249253) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- Wreaths, mixed wreaths and twisted coactions (Q2406555) (← links)
- Algebras versus coalgebras (Q2426119) (← links)
- Coalgebraic semantics for timed processes (Q2495646) (← links)
- Rule Formats for Timed Processes (Q2841307) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Structural Operational Semantics and Modal Logic, Revisited (Q2919456) (← links)
- No-iteration mixed distributive laws (Q2973244) (← links)
- Companions, Codensity and Causality (Q2988363) (← links)
- LIFTING THEOREMS FOR TENSOR FUNCTORS ON MODULE CATEGORIES (Q2995434) (← links)
- Bimonads and Hopf monads on categories (Q3004395) (← links)
- On the 2-Categories of Weak Distributive Laws (Q3225594) (← links)
- Logical relations for monadic types (Q3545276) (← links)
- BRAIDED MIXED DATUMS AND THEIR APPLICATIONS ON HOM-QUANTUM GROUPS (Q4600322) (← links)
- (Q5014802) (← links)
- Doctrines, modalities and comonads (Q5068204) (← links)
- A bicategorical approach to actions of monoidal categories (Q5880508) (← links)
- A metalanguage for guarded iteration (Q5918344) (← links)
- Coherent differentiation (Q6149933) (← links)
- Adding a constant and an axiom to a doctrine (Q6642288) (← links)
- Canonical automata via distributive law homomorphisms (Q6653763) (← links)
- Deriving distributive laws for graded linear types (Q6657787) (← links)
