Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 1 | Vidéo

Chapters

Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 1

Appears in collection : Categories in homotopy theory and rewriting / Catégories pour la théorie de l'homotopie et la réécriture

In the first part, we describe the canonical model structure on the category of strict $\omega$-categories and how it transfers to related subcategories. We then characterize the cofibrant objects as $\omega$-categories freely generated by polygraphs and introduce the key notion of polygraphic resolution. Finally, by considering a monoid as a particular $\omega$-category, this polygraphic point of view will lead us to an alternative definition of monoid homology, which happens to coincide with the usual one.

Information about the video

Date of recording 25/09/2017
Date of publication 28/09/2017
Institution CIRM
Licence CC BY NC ND
Language English
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.19225303
Cite this video Métayer, François (25/09/2017). Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 1. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.19225303
URL https://dx.doi.org/10.24350/CIRM.V.19225303

Domain(s)

Bibliography

Beke, T. (2000). Sheafifiable homotopy model categories. Mathematical Proceedings of the Cambridge Philosophical Society, 129(3), 447-475 - http://dx.doi.org/10.1017/s0305004100004722
Burroni, A. (1993). Higher-dimensional word problems with applications to equational logic. Theoretical Computer Science, 115(1), 43-62 - http://dx.doi.org/10.1016/0304-3975(93)90054-w
Hovey, M. (1999). Model Categories. Providence, RI: American Mathematical Society - https://zbmath.org/?q=an:0909.55001
Lafont, Y., & Metayer, F. (2009). Polygraphic resolutions and homology of monoids. Journal of Pure and Applied Algebra, 213(6), 947-968 - http://dx.doi.org/10.1016/j.jpaa.2008.10.005
Lafont, Y., Metayer, F., & Worytkiewicz, K. A folk model structure on omega-cat. Advances in Mathematics, 224(3), 1183-1231 - http://dx.doi.org/10.1016/j.aim.2010.01.007
Metayer, F. (2008). Cofibrant objects among higher-dimensional categories. Homology, Homotopy and Applications, 10(1), 181-203 - http://dx.doi.org/10.4310/hha.2008.v10.n1.a7
Street, R. (1987). The algebra of oriented simplexes. Journal of Pure and Applied Algebra, 49(3), 283-335 - http://dx.doi.org/10.1016/0022-4049(87)90137-x