Catégories supérieures, polygraphes et homotopie vendredi 18 janvier 2019, 14h00, Salle 1007 Benjamin Dupont (Université de Lyon) Cohérence modulo et doubles groupoïdes Catégories supérieures, polygraphes et homotopie vendredi 18 janvier 2019, 10h00, 3052 Amar Hadzihasanovic (RIMS Kyoto University) Charted omega-categories A charted omega-category is like a strict omega-category, but instead of a globular set, it has an underlying regular polygraph: its cells have more complex pasting diagrams “charted” on their boundary. Several features of omega-categories generalise nicely, including joins and the monoidal biclosed structure of lax Gray products. I will detail some of the combinatorics involved, going deeper into the theory of globular posets than in my talk last July (which is not a prerequisite). Catégories supérieures, polygraphes et homotopie vendredi 01 février 2019, 14h00, Salle 1007 Yves Guiraud (IRIF) Résolutions polygraphiques dans les algèbres différentielles graduées