nLab
distributive law

Context

Higher algebra

2-Category theory

Distributive laws

Idea

Sometimes in mathematics we want to consider objects equipped with two different types of extra structure which interact in a suitable way. For instance, a ring is a set equipped with both (1) the structure of an (additive) abelian group and (2) the structure of a (multiplicative) monoid, which satisfy the distributive laws a(b+c)=ab+aca\cdot (b+c) = a\cdot b + a\cdot c and a0=0a\cdot 0 = 0.

Abstractly, there are two monads on the category Set, one (call it T\mathbf{T}) whose algebras are abelian groups, and one (call it S\mathbf{S}) whose algebras are monoids, and so we might ask “can we construct, from these two monads, a third monad whose algebras are rings?” Such a monad would assign to each set XX the free ring on that set, which consists of formal sums of formal products of elements of XX—in other words, it can be identified with T(S(X))T(S(X)). Thus the question becomes “given two monads T\mathbf{T} and S\mathbf{S}, what further structure is required to make the composite TST S into a monad?”

It is easy to give TST S a unit, as the composite Idη SSη TTSId \xrightarrow{\eta^S} S \xrightarrow{\eta^T} T S, but to give it a multiplication we need a transformation from TSTST S T S to TST S. We naturally want to use the multiplications μ T:TTT\mu^T\colon T T \to T and μ S:SSS\mu^S\colon S S \to S, but in order to do this we first need to switch the order of TT and SS. However, if we have a transformation λ:STTS\lambda\colon S T \to T S, then we can define μ TS\mu^{T S} to be the composite TSTSλTTSSμ Tμ STST S T S \xrightarrow{\lambda} T T S S \xrightarrow{\mu^T\mu^S} T S.

Such a transformation, satisfying suitable axioms to make TST S into a monad, is called a distributive law, because of the motivating example relating addition to multiplication in a ring. In that case, STXS T X is a formal product of formal sums such as (x 1+x 2+x 3)(x 4+x 5)(x_1 + x_2 + x_3)\cdot (x_4 + x_5), and the distributive law λ\lambda is given by multiplying out such an expression formally, resulting in a formal sum of formal products such as x 1x 4+x 1x 5+x 2x 4+x 2x 5+x 3x 4+x 3x 5x_1\cdot x_4 + x_1 \cdot x_5 + x_2 \cdot x_4 + x_2 \cdot x_5 + x_3\cdot x_4 + x_3 \cdot x_5.

Big picture

Monads in any 2-category CC make themselves a 2-category Mnd\mathrm{Mnd} in which 1-cells are either lax or colax morphisms of monads; by dualization the same is true for comonads. Monads internal to the 2-category of monads are called distributive laws. In particular, distributive laws themselves make a 2-category. There are other variants like distributive laws between a monad and an endofunctor, “mixed” distributive laws between a monad and a comonad (the variants for algebras and coalgebras called entwining structures), distributive laws between actions of two different monoidal categories on the same category, for PROPs and so on. Having a distributive law ll from one monad to another enables to define the composite monad T lP\mathbf T\circ_l\mathbf P. This correspondence extends to a 2-functor comp:Mnd(Mnd(C))Mnd(C)\mathrm{comp}:\mathrm{Mnd}(\mathrm{Mnd}(C))\to\mathrm{Mnd}(C). An analogue of this 2-functor in the mixed setup is a homomorphism of bicategories from the bicategory of entwinings to a bicategory of corings.

Explicit definition

A distributive law from a monad T=(T,μ T,η T)\mathbf{T} = (T, \mu^T, \eta^T) in AA to an endofunctor PP is a 2-cell l:TPPTl : T P \Rightarrow P T such that l(η T) P=P(η T)l \circ (\eta^T)_P = P(\eta^T) and l(μ T) P=P(μ T)l TT(l)l \circ (\mu^T)_P = P(\mu^T) \circ l_T \circ T(l). The latter identitity is the commutativity of the pentagon

TTP Tl TPT lT PTT μ TP Pμ T TP l PT\array{ T T P&\stackrel{T l}\to&T P T&\stackrel{l T}\to&P T T\\ \downarrow \mu^T P&&&&\downarrow P\mu^T\\ T P &&\stackrel{l}\to && P T }

Distributive laws from the monad T\mathbf{T} to the endofunctor PP are in a canonical bijection with lifts of PP to an endofunctor P TP^{\mathbf T} in the Eilenberg-Moore category A TA^{\mathbf T}, satisfying U TP T=PU TU^{\mathbf T} P^{\mathbf T} = P U^{\mathbf T}. Indeed, the endofunctor P TP^{\mathbf T} is given by (M,ν)(PM,P(ν)l M)(M,\nu) \mapsto (P M,P(\nu)\circ l_M).

A distributive law from a monad T=(T,μ T,η T)\mathbf{T} = (T, \mu^T, \eta^T) to a monad P=(P,μ P,η P)\mathbf{P} = (P, \mu^P, \eta^P) in AA (or of T\mathbf T over P\mathbf P) is a distributive law from T\mathbf T to the endofunctor PP, compatible with μ P,η P\mu^P,\eta^P in the sense that lT(η P)=(η P) Tl \circ T(\eta^P) = (\eta^P)_T and lT(μ P)=(μ P) TP(l)l Pl \circ T(\mu^P) = (\mu^P)_T \circ P(l) \circ l_P. Thus all together a distributive law from a monad to a monad is a 2-cell for which 2 triangles and 2 pentagons commute. In the entwining case, Brzeziński and Majid combined the 4 diagrams into one picture which they call the bow-tie diagram.

Similarly, there are definitions of distributive law of a comonad over a comonad, a monad over a comonad (sometimes called a mixed distributive law), and so on.

Examples

Products distributing over coproducts

In a distributive category products distribute over coproducts.

In Cat

  • There is a distributive law of the monad (on Set) for monoids over the monad for abelian groups, whose composite is the monad for rings. This is the canonical example which gives the name to the whole concept.

Tensor products distributing over direct sums

For many standard choices of tensor products in the presence of direct sums the former distribute over the latter. See at tensor product of abelian groups and tensor product of modules.

In other 2-categories

Literature

  • H. Appelgate, Michael Barr, J. Beck, Bill Lawvere, Fred Linton, E, Manes, Myles Tierney, F. Ulmer, Seminar on triples and categorical homology theory, ETH 1966/67, edited by B. Eckmann, LNM 80, Springer 1969. (includes article Jon Beck, Distributive laws, pages 119–140).

  • Michael Barr, Charles Wells, Toposes, triples and theories, Springer-Verlag 1985; web remake at TAC

  • Gabi Böhm, Internal bialgebroids, entwining structures and corings, AMS Contemp. Math. 376 (2005) 207–226; arXiv:math.QA/0311244

  • T. Brzeziński, S. Majid, Coalgebra bundles, Comm. Math. Phys. 191 (1998), no. 2, 467–492 (arXiv version).

  • T. Brzeziński, R. Wisbauer, Corings and comodules, London Math. Soc. Lec. Note Series 309, Cambridge 2003.

  • T. F. Fox, Martin Markl, Distributive laws, bialgebras, and cohomology, Operads: Proceedings of Renaissance Conferences (Hartford, CT/Luminy, 1995), 167–205, Contemp. Math. 202, AMS 1997.

  • Steve Lack, Composing PROPS, Theory Appl. Categ. 13 (2004), No. 9, 147–163.

  • Steve Lack, Ross Street, The formal theory of monads II, Special volume celebrating the 70th birthday of Professor Max Kelly. J. Pure Appl. Algebra 175 (2002), no. 1-3, 243–265.

  • Martin Markl, Distributive laws and Koszulness, Ann. Inst. Fourier (Grenoble) 46 (1996), no. 2, 307–323 (numdam)

  • R. Street, The formal theory of monads, J. Pure Appl. Alg. 2, 149–168 (1972)

  • Z. Škoda, Distributive laws for monoidal categories (arXiv:0406310); Equivariant monads and equivariant lifts versus a 2-category of distributive laws (arXiv:0707.1609); Bicategory of entwinings (arXiv:0805.4611)

  • Z. Škoda, Some equivariant constructions in noncommutative geometry, Georgian Math. J. 16 (2009) 1; 183–202 (arXiv:0811.4770)

  • R. Wisbauer, Algebras versus coalgebras, Appl. Categ. Structures 16 (2008), no. 1-2, 255–295.

Revised on July 15, 2013 21:51:38 by Urs Schreiber (89.204.137.30)