Hostname: page-component-cd9895bd7-jn8rn Total loading time: 0 Render date: 2024-12-28T13:08:31.634Z Has data issue: false hasContentIssue false
  • English
  • Français

Iterated distributive laws

Published online by Cambridge University Press:  16 March 2011

EUGENIA CHENG
EUGENIA CHENG*
Affiliation:
Laboratoire J. A. Dieudonné, Université de Nice-Sophia Antipolis, Parc Valrose, 06198 Nice, France and Department of Pure Mathematics, University of Sheffield, Hounsfield Road, Sheffield S1 2EH, UK e-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

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 Beck 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.

Type
Research Article
Information
Mathematical Proceedings of the Cambridge Philosophical Society , Volume 150 , Issue 3 , May 2011 , pp. 459 - 487
Copyright
Copyright © Cambridge Philosophical Society 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Batanin, M. A.Monoidal globular categories as a natural environment for the theory of weak n-categories. Adv. Math. 136 (1) (1998), 39–103.CrossRefGoogle Scholar
[2]Beck, J.Distributive laws. Lecture Notes in Math. 80 (1969), 119–140.CrossRefGoogle Scholar
[3]Cheng, E. Comparing operadic theories of n-category, 2008. E-print 0809.2070.Google Scholar
[4]Gordon, R., Power, A. J. and Street, R.Coherence for tricategories. Mem. Amer. Math. Soc. 117 (558), (1995).Google Scholar
[5]Gray, J. W.Formal Category Theory: Adjointness for 2-Categories. Lecture Notes in Math. vol. 391 (Springer-Verlag, 1974).CrossRefGoogle Scholar
[6]Gray, J. W. Coherence for the tensor product of 2-categories, and braid groups. In Algebra, Topology and Category Theory, a collection in honor of Samuel Eilenberg, LMS, pages 63–76 (Academic Press, 1976).CrossRefGoogle Scholar
[7]Gurski, N. An algebraic theory of tricategories. PhD thesis. University of Chicago (2006). Available via http://www.math.yale.edu/~mg622/tricats.pdf.Google Scholar
[8]Joyal, A. and Kock, J. Weak units and homotopy 3-types. In Batanin, , Davydov, , Johnson, , Lack, , and Neeman, , editors, Categories in Algebra, Geometry and Mathematical Physics, proceedings of Streetfest. Contemp. Math. vol. 431, pages 257–276 (AMS, 2007).CrossRefGoogle Scholar
[9]Kasangian, S., Lack, S. and Vitale, E.Coalgebras, braidings, and distributive laws. Theory and Applications of Categories. 13 (2004), 129–146.Google Scholar
[10]Leinster, T.Higher operads, higher categories. London Math. Soc. Lecture Note Series, no. 298 (Cambridge University Press, 2004).CrossRefGoogle Scholar
[11]Mac Lane, S.Categories for the working mathematician. volume 5 Graduate Texts in Mathematics vol. 5 (Springer-Verlag, second edition, 1998).Google Scholar
[12]Simpson, C. A closed model structure for n-categories, internal Hom, n-stacks and generalized Seifert-Van Kampen, 1997. E-print alg-geom/9704006.Google Scholar
[13]Simpson, C. Limits in n-categories, 1997. E-print alg-geom/9708010.Google Scholar
[14]Street, R.The formal theory of monads. J. Pure Appl. Alg. 2 (1972), 149–168.CrossRefGoogle Scholar
[15]Street, R.The algebra of oriented simplexes. J. Pure Appl. Alg. 49 (3) (1987), 283–335.CrossRefGoogle Scholar
[16]Trimble, T. What are ‘fundamental n-groupoids’? Seminar at DPMMS (Cambridge, 24 August 1999).Google Scholar