Catégories supérieures, polygraphes et homotopie Vendredi 16 décembre 2016, 14 heures, Salle 1007 Jacques Penon Une pseudo-adjonction cachée derrière un théorème de M.Weber (II) Catégories supérieures, polygraphes et homotopie Vendredi 2 décembre 2016, 17 heures 30, Salle 3052 * Journées du GDR Topologie Algébrique : changement d'horaire et de salle * Jacques Penon Une pseudo-adjonction cachée derrière un théorème de M.Weber Journées du GDR Topologie Algébrique Catégories supérieures, polygraphes et homotopie Vendredi 4 novembre 2016, 14 heures, Salle 1007 François Métayer Algèbres de la monade des états Catégories supérieures, polygraphes et homotopie Vendredi 28 octobre 2016, 14 heures, Salle 1007 Maxime Lucas (IRIF) Inversibilité dans les omega-catégories cubiques Catégories supérieures, polygraphes et homotopie Vendredi 14 octobre 2016, 14 heures, Salle 1007 Simon Forest Une généralisation des complexes de parité de Street et des pasting schemes de Johnson Catégories supérieures, polygraphes et homotopie Vendredi 8 juillet 2016, 14 heures, Salle 1007 Pierre Cagne Bifibrations sur des catégories de modèles et construction de Reedy Dans cet exposé, je présenterai un théorème permettant de relever une structure de catégorie de modèles le long d'une bifibration dont les fibres ont elles-mêmes un bon comportement homotopique. Ce résultat généralise deux théorèmes de la littérature (le premier par Roig et Stanculescu, le deuxième par Harpaz et Prasma) et a été motivé par l'étude de la construction de Reedy. Celle-ci est un outil primordial en algèbre homotopique, qui permet de munir d'une structure de catégorie de modèles une catégorie de diagrammes à valeurs dans une catégorie de modèles quand la catégorie index admet de bonnes propriétés. Cette construction passe par l'utilisation de deux foncteurs, le latch et le match, dont l'introduction pourrait paraître a priori ad hoc. Après les rappels nécessaires, je montrerai qu'il n'en est rien et qu'ils sous-tendent en fait une bifibration dont l'étude, via notre théorème, éclaire l'étape clé dans la construction de Reedy. Si le temps le permet, j'esquisserai rapidement quelques généralisations existantes de la construction de Reedy dans lesquelles la vue bifibrationnelle s'intègre également. Catégories supérieures, polygraphes et homotopie Vendredi 1 juillet 2016, 14 heures, Salle 1007 Albert Burroni Faisceautisation des structures par approximations successives Classiquement, la construction universelle qui transforme un préfaisceau, de base une catégorie C, en faisceau sur un site (C,T), où T est une topologie de Grothendieck, s'appelle la “faisceautisation”. En remplaçant le site précédent par une esquisse projective (C,T) où T est un ensemble de cônes projectifs, la notion de structure algébrique, relative à cette esquisse, généralise celle de faisceau. Dans ce cas plus général, une construction similaire, encore appelée faisceautisation, prolonge la construction précédente. Ces constructions sont basées sur une transformation sur les préfaisceaux qui est itérée de manière transfinie (dont la longueur dépend de la taille des cônes projectifs) et s'inspirent de la technique des “approximations successives” en analyse. Dans le cas des faisceaux la construction s'arrête dès la deuxième étape, nous tenterons d'expliquer pourquoi. On verra aussi comment cette construction s'étend de manière relative aux esquisses mixtes (lesquelles comportent, en plus des cône projectifs de T, des cônes inductifs). Catégories supérieures, polygraphes et homotopie Vendredi 17 juin 2016, 14 heures, Salle 1007 Eric Hoffbeck Shuffles d'arbres Catégories supérieures, polygraphes et homotopie Vendredi 20 mai 2016, 14 heures, Salle 1007 François Métayer Monadicité des omega-catégories sur les polygraphes Catégories supérieures, polygraphes et homotopie Vendredi 13 mai 2016, 14 heures, Salle 1007 Clément Alleaume Décroissance et présentations cohérentes Catégories supérieures, polygraphes et homotopie Vendredi 15 avril 2016, 14 heures, Salle 1007 Maxime Lucas Une version cubique du théorème de Squier Catégories supérieures, polygraphes et homotopie Vendredi 25 mars 2016, 14 heures, Salle 1007 Samuel Mimram Parités complexes Catégories supérieures, polygraphes et homotopie Vendredi 18 mars 2016, 14 heures, Salle 1007 Jacques Penon Algèbre sur une opérade, un éclaircissement Catégories supérieures, polygraphes et homotopie Vendredi 11 mars 2016, 14 heures, Salle 1007 Brice Halimi Présentation de la théorie des esquisses Catégories supérieures, polygraphes et homotopie Vendredi 19 février 2016, 14 heures, Salle 1007 Joey Beauvais-Feisthauer Bicatégories et cohérence Catégories supérieures, polygraphes et homotopie Vendredi 12 février 2016, 14 heures, Salle 1007 Albert Burroni Une revisitation (et plus) de la définition des catégories globulaires monoïdales de Batanin Catégories supérieures, polygraphes et homotopie Vendredi 22 janvier 2016, 14 heures, Salle 1007 François Métayer Polygraphes généralisés