Catégories supérieures, polygraphes et homotopie
Vendredi 14 décembre 2018, 14 heures, Salle 1007
Cameron Calk (ENS Lyon) L'homotopie dirigée et l'inversion temporelle
Catégories supérieures, polygraphes et homotopie
Vendredi 30 novembre 2018, 14 heures, Salle 1007
Jovana Obradovic (Université Charles, Prague) Combinatorial homotopy theory for operads
Catégories supérieures, polygraphes et homotopie
Vendredi 19 octobre 2018, 14 heures, Salle 1007
Muriel Livernet (IMJ) Suites spectrales et équivalences faibles
Ceci est un travail en commun avec: Joana Cirici, Daniela Egas-Santander et Sarah Whitehouse.
Catégories supérieures, polygraphes et homotopie
Vendredi 5 octobre 2018, 14 heures, Salle 1007
Eric Finster (IRIF) Vers l'algèbre universelle supérieure dans la théorie des types dépendants
Catégories supérieures, polygraphes et homotopie
Vendredi 28 septembre 2018, 14 heures, Salle 1007
Juan Pablo Vigneaux (IMJ-PRG) Une introduction à la topologie de l'information
Catégories supérieures, polygraphes et homotopie
Jeudi 5 juillet 2018, 14 heures, Salle 1002
Amar Hadzihasanovic (RIMS Kyoto University) Regular polygraphs and semi-strictification of higher categories
I will then give a non-algebraic, fully weak definition of higher category, as a regular polygraph satisfying a representability property, and sketch a complementary algebraic, semi-strict definition. Finally, I will sketch how the two are combined in a semi-strictification construction, where semi-strictness should be read in the sense of “Simpson's conjecture for regular compositions”, as in the earlier seminar entry by Simon Henry.
The programme in the second part of the talk has been fully developed in dimension 2 (arXiv:1803.06086). The first part is the subject of a paper that I will publish or circulate before the talk.
Attention : changement de jour et de salle !
Catégories supérieures, polygraphes et homotopie
Vendredi 25 mai 2018, 14 heures, Salle 1007
Martin Szyld (Université de Buenos Aires) The homotopy relation in a category with weak equivalences
Catégories supérieures, polygraphes et homotopie
Vendredi 4 mai 2018, 14 heures, Salle 1007
Simon Henry (Université Masaryk, Brno) Polygraphes réguliers et une preuve de la conjecture de Simpson pour les compositions régulières
Dans l'exposé j'esquisserai la première preuve d'une forme de cette conjecture : celle-ci s'applique aux infinis groupoïdes, et strictifie les compositions dites 'régulières' (celles dont le diagramme est topologiquement une boule). Ce type d'opérations est suffisant pour engendrer toutes les opérations et cohérences attendues dans un infini groupoïde faible, dès qu'on lui ajoute des unités faibles et des inverses faibles. C'est donc une réponse satisfaisante à la conjecture d'origine, mais il existe encore des formes plus fortes de la conjecture non démontrées pour l'instant.
La démonstration repose en très grande partie sur des résultats nouveaux en théorie des polygraphes et sur d’excellentes propriétés d'une certaine classe des polygraphes dit “réguliers”. La plus grande partie de l'exposé sera concentrée sur ces aspects 'polygraphiques'.
Note: Il s'agit de la suite de mon exposé de Septembre “Les polygraphes non-unitaires et la conjecture de Simpson”, mais je ferai tous les rappels nécessaires.
Catégories supérieures, polygraphes et homotopie
Vendredi 6 avril 2018, 14 heures, Salle 1007
Antonin Delpeuch (Oxford) Décider l'égalité de diagrammes de cordes
Catégories supérieures, polygraphes et homotopie
Vendredi 16 mars 2018, 14 heures, Salle 1007
Léonard Guetta (IRIF) Non-universalité des colimites dans la catégorie des infini-catégories strictes
Dans cet exposé, je présenterai le travail de Giraud sur la question et j'expliquerai comment l'étendre au cas des infini-catégories strictes. J'expliquerai ensuite pourquoi cette question de non-universalité des colimites est intimement liée à une question de stabilité des résolutions polygraphiques par tiré-en-arrière et cela me permettra d'achever la démonstration d'un résultat laissé en suspens lors de mon exposé du 16/02/2018.
Catégories supérieures, polygraphes et homotopie
Vendredi 16 février 2018, 14 heures, Salle 1007
Léonard Guetta (IRIF) Homologie des 1-catégories
Assez curieusement, cela m'a également amené à étendre certains résultats de Conduché et Giraud sur l'exponentiabilité des 1-foncteurs dont je parlerai également (éventuellement en détails dans un exposé futur).
Mot-clés : Polygraphes, Homologie des 1-catégories, Ext-Tor, Fibrations de Conduché, “push-forward” pour les (n-)catégories.
Catégories supérieures, polygraphes et homotopie
Vendredi 2 février 2018, 14 heures, Salle 1007
Antoine Chambert-Loir (IMJ) Algèbre homologique moderne — comment échapper à « Ignoramus et ignorabimus » ?