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
0 h 00 min

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
CIRM, Luminy

Catégories



Retour en haut