Iterated distributive laws

DOI10.1017/S0305004110000599MaRDI QIDQ3002206zbMATH OpenOpenAlexWikidataFDO

Authors Eugenia Cheng

Publication date 20 May 2011

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0710.1120

zbMATH Keywords

\(n\)-categorydistributive lawglobular setmonadYang-Baxter equations

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: We give a framework for combining $n$ monads on the same category via distributive laws satisfying Yang-Baxter equations, extending the classical result of Barr and Wells which combines two monads via one distributive law. We show that this corresponds to iterating $n$-times the process of taking the 2-category of monads in a 2-category, extending the result of Street characterising distributive laws. We show that this framework can be used to construct the free strict $n$-category monad on $n$-dimensional globular sets; we first construct for each $i$ a monad for composition along bounding $i$-cells, and then we show that the interchange laws define distributive laws between these monads, satisfying the necessary Yang-Baxter equations.

Recommendations

• On the 2-categories of weak distributive laws
• scientific article; zbMATH DE number 5302142
• Weak distributive laws
• Distributive laws for pseudomonads. II
• No-iteration mixed distributive laws
• Distributive laws for Lawvere theories
• Distributive Laws for Lawvere Theories (Invited Talk)
• Pseudo-distributive laws
• Monad compositions II: Kleisli strength
• On the formal theory of pseudomonads and pseudodistributive laws

Cites work

• Formal category theory: Adjointness for 2-categories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• The algebra of oriented simplexes
• The formal theory of monads

Cited in

(21)

• The algebra of partial equivalence relations
• Near distributive laws
• Modality via iterated enrichment
• Graphical combinatorics and a distributive law for modular operads
• On the iteration of weak wreath products
• No-iteration mixed distributive laws
• Interacting Hopf algebras
• Span composition using fake pullbacks
• 2-dimensional bifunctor theorems and distributive laws
• No-go theorems for distributive laws
• Distributive laws for Lawvere theories
• Product rules and distributive laws
• Weak vertical composition. II: Totalities
• Weakening and iterating laws using string diagrams
• What monads can and cannot do with a few extra pages
• Functorial, operadic and modular operadic combinatorics of circuit algebras
• The graphical theory of monads
• The formal theory of monads, univalently
• The calculus of signal flow diagrams. I: Linear relations on streams.
• Killing epsilons with a dagger: a coalgebraic study of systems with algebraic label structure
• Factorisations of distributive laws

This page was built for publication: Iterated distributive laws

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