Catégories pour la théorie de l’homotopie et la réécriture
25 au 29 septembre 2017
|
Les méthodes catégoriques et notamment les catégories supérieures jouent un rôle plus en plus important dans de nombreux domaines des mathématiques. Le but de cette rencontre est de réunir des mathématiciens de divers horizons ayant comme point commun ces outils catégoriques. En particulier, les domaines suivant seront représentés : théorie de l’homotopie, réécriture, catégories supérieures, informatique théorique, théorie géométrique des groupes, opérades, physique théorique, algèbre homologique, théorie des types homotopique.
Deux mini-cours seront donnés : le premier, à l’occasion des 30 ans du théorème de Squier, par Philippe Malbos sur la théorie de Squier des monoïdes et des algèbres ; le second par François Métayer sur la théorie de l’homotopie des omega-catégories strictes et son lien avec l’homologie des monoïdes. Des séances d’exposés courts permettront à quelques participants de présenter leurs travaux en lien avec la conférence. |
Comité scientifique
Université de Caen)
Marcelo Fiore (University of Cambridge) Yves Lafont (Aix-Marseille Université) Georges Maltsiniotis (Université Paris Diderot) Ieke Moerdijk (Universiteit Utrecht) Comité d’organisation Dimitri Ara (Aix-Marseille Université) |
Philippe Malbos (Université Lyon 1) Squier’s theory for monoids and algebras
François Métayer (Université Paris Nanterre) Homotopy theory of strict omega-categories and its connections with homology of monoids
Steve Awodey (Carnegie Mellon University) Type theories and polynomial monads
Frédéric Chapoton (Université de Strasbourg) Operads in combinatorics and representation theory
Pierre-Louis Curien (Université Paris Diderot) A syntactic approach to polynomial functors, polynomial monads and opetopes (pdf)
Yaël Frégier (Université d’Artois) Physical origin of the BV formalism and shifted symplectic geometry (pdf)
Stéphane Gaussent (Université Jean Monnet) Linear rewriting and quiver Hecke algebras
Simon Henry (Collège de France) On Grothendieck’s homotopy hypothesis (pdf)
Éric Hoffbeck (Université Paris 13) Shuffles of trees
Martin Hyland (University of Cambridge) Dialogues between enrichment and homotopy
André Joyal (Université du Québec à Montréal) On tribes and federations
Joachim Kock (UAB Barcelona) Infinity-operads as polynomial monads
Victoria Lebed (Trinity College Dublin) Yang-Baxter equation up to homotopy
Peter LeFanu Lumsdaine (Stockholm University) CwA’s of equivalences / equivalences of CwA’s (pdf)
Maxime Lucas (Université Paris Diderot) Normalisation strategies revisited (pdf)
Viktoriya Ozornova (University of Bonn) 2-Segal sets
Simona Paoli (University of Leicester) Segal-type models of higher categories (pdf)
Dominic Verity (Macquarie University) A complicial compendium (pdf)
Marek Zawadowski (University of Warsaw) Positive opetopes with contractions form a test category (pdf)