Catégories pour la théorie de l’homotopie et la réécriture
Conference
CIRM, Luminy, Marseille
http://fconferences.cirm-math.fr/1773.html
Date(s) : 25/09/2017 - 29/09/2017 iCal
0h00
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.
Categories for homotopy theory and rewriting
Categorical methods and especially higher categories are playing an increasingly important role in many areas of mathematics. The aim of this meeting is to bring together mathematicians from various horizons who have these categorical tools in common. In particular, the following fields will be represented: homotopy theory, rewriting, higher categories, theoretical computer science, geometric group theory, operads, theoretical physics, homological algebra, homotopic type theory.
Organisateurs :
– Dimitri Ara (Aix-Marseille Université)
– Marcelo Fiore (University of Cambridge)
– Yves Guiraud (INRIA et Université Paris Diderot)
– Samuel Mimram (École Polytechnique)
–
–
Autre lien : CIRM
Emplacement
Luminy - CIRM
Catégories