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