Iterated distributive laws

Details Iterated distributive laws Iterated distributive laws

2007-10-05

arxiv.org/abs/0710.1120v1

Mathematics

Category Theory

38 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Iterated distributive laws does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Iterated distributive laws, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Iterated distributive laws will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-328544