Higher categories, polygraphs and homotopy Friday December 16, 2016, 2PM, Salle 1007 Jacques Penon Une pseudo-adjonction cachée derrière un théorème de M.Weber (II) Higher categories, polygraphs and homotopy Friday December 2, 2016, 5:30PM, 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 Higher categories, polygraphs and homotopy Friday November 4, 2016, 2PM, Salle 1007 François Métayer Algèbres de la monade des états Higher categories, polygraphs and homotopy Friday October 28, 2016, 2PM, Salle 1007 Maxime Lucas (IRIF) Inversibilité dans les omega-catégories cubiques Higher categories, polygraphs and homotopy Friday October 14, 2016, 2PM, Salle 1007 Simon Forest Une généralisation des complexes de parité de Street et des pasting schemes de Johnson Higher categories, polygraphs and homotopy Friday July 8, 2016, 2PM, 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. Higher categories, polygraphs and homotopy Friday July 1, 2016, 2PM, 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). Higher categories, polygraphs and homotopy Friday June 17, 2016, 2PM, Salle 1007 Eric Hoffbeck Shuffles d'arbres Higher categories, polygraphs and homotopy Friday May 20, 2016, 2PM, Salle 1007 François Métayer Monadicité des omega-catégories sur les polygraphes Higher categories, polygraphs and homotopy Friday May 13, 2016, 2PM, Salle 1007 Clément Alleaume Décroissance et présentations cohérentes Higher categories, polygraphs and homotopy Friday April 15, 2016, 2PM, Salle 1007 Maxime Lucas Une version cubique du théorème de Squier Higher categories, polygraphs and homotopy Friday March 25, 2016, 2PM, Salle 1007 Samuel Mimram Parités complexes Higher categories, polygraphs and homotopy Friday March 18, 2016, 2PM, Salle 1007 Jacques Penon Algèbre sur une opérade, un éclaircissement Higher categories, polygraphs and homotopy Friday March 11, 2016, 2PM, Salle 1007 Brice Halimi Présentation de la théorie des esquisses Higher categories, polygraphs and homotopy Friday February 19, 2016, 2PM, Salle 1007 Joey Beauvais-Feisthauer Bicatégories et cohérence Higher categories, polygraphs and homotopy Friday February 12, 2016, 2PM, Salle 1007 Albert Burroni Une revisitation (et plus) de la définition des catégories globulaires monoïdales de Batanin Higher categories, polygraphs and homotopy Friday January 22, 2016, 2PM, Salle 1007 François Métayer Polygraphes généralisés