F Nous contacter


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

Auteurs : Métayer, François (Auteur de la Conférence)
CIRM (Editeur )

Loading the player...
lifting properties model structures Smith's theorem $\omega$-categories weak equivalences cylinder category

Résumé : 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.

Codes MSC :
18D05 - Double categories, $2$-categories, bicategories, hypercategories
18G10 - Resolutions; derived functors
18G50 - Nonabelian homological algebra
18G55 - Homotopical algebra

    Informations sur la Vidéo

    Réalisateur : Hennenfent, Guillaume
    Langue : Anglais
    Date de publication : 28/09/2017
    Date de captation : 28/09/2017
    Collection : Research talks
    Format : MP4 (.mp4) - HD
    Durée : 01:27:34
    Domaine : Logic and Foundations ; Algèbre ; Topology
    Audience : Chercheurs ; Doctorants , Post - Doctorants
    Download :

Informations sur la rencontre

Nom du congrès : Categories in homotopy theory and rewriting / Catégories pour la théorie de l'homotopie et la réécriture
Organisteurs Congrès : Ara, Dimitri ; Fiore, Marcelo ; Guiraud, Yves ; Mimram, Samuel
Dates : 25/09/2017 - 29/09/2017
Année de la rencontre : 2017
URL Congrès : http://conferences.cirm-math.fr/1773.html

Citation Data

Cite this video as: Métayer, François (2017). Homotopy theory of strict $\omega$-categories and its connections with homology of monoids - Lecture 1. CIRM. Audiovisual resource. doi:
URI : http://dx.doi.org/

Voir aussi


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

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

  3. Hovey, M. (1999). Model Categories. Providence, RI: American Mathematical Society - https://zbmath.org/?q=an:0909.55001

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

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

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

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