The following pages link to (Q5579535):
Displaying 32 items.
- Coalgebraic update lenses (Q283736) (← links)
- The coinductive resumption monad (Q283770) (← links)
- ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
- Relation lifting, a survey (Q299182) (← links)
- Duality features of left Hopf algebroids (Q312573) (← links)
- Factorizable enriched categories and applications (Q411784) (← links)
- Adding fuzziness to terms and powerobjects using a monadic approach (Q419043) (← links)
- On the classification of twisting maps between \(K^n\) and \(K^m\). (Q431836) (← links)
- A categorical approach to cyclic duality. (Q446422) (← links)
- Completely and totally distributive categories. I. (Q456849) (← links)
- Hopf monads on monoidal categories (Q533951) (← links)
- Pre-torsors and Galois comodules over mixed distributive laws (Q543492) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Monadic extensions of institutions (Q622025) (← links)
- Resource modalities in tensor logic (Q636303) (← links)
- Not every pseudoalgebra is equivalent to a strict one (Q664768) (← links)
- Algebra and local presentability: how algebraic are they? (A survey) (Q680309) (← links)
- A CATEGORICAL APPROACH TO ALGEBRAS AND COALGEBRAS (Q4582764) (← links)
- Coproducts of Ideal Monads (Q4659887) (← links)
- (Q4993351) (← links)
- (Q5009440) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- (Q5079757) (← links)
- Comparing localizations across adjunctions (Q5158099) (← links)
- On saturated prefilter monads (Q5889204) (← links)
- Hopf monads: a survey with new examples and applications (Q6050139) (← links)
- Differential 2-rigs (Q6150153) (← links)
- Distributive laws for relative monads (Q6159707) (← links)
- Derived homotopy algebras (Q6163870) (← links)
- The Power-Set Construction for Tree Algebras (Q6178675) (← links)
- Algebraic theories of power operations (Q6181275) (← links)
- Lax Liftings and Lax Distributive Laws (Q6190599) (← links)
