Cédric HO THANH

Opetopes, rewriting, and koszulity
Etablissement :
Promotion :
Domaine d’étude :
Unité de recherche :
Description de la thèse :

Les opétopes ont originalement étés utilisés comme une structure algébrique décrivant les lois de compositions et de cohérence dans les catégories supérieures faibles. Ils diffèrent des formes plus classiques (telles que les globes et les simplex) par leur structure arborescente. Cependant, leur définition est très récursive, ce qui les rend difficile à utiliser. Le premier objectif de cette thèse est donc de développer des techniques pratiques afin de palier à ce problème.

Ensuite, nous étudions des applications de cette théorie, en particulier dans le domaine de la réécriture en dimension supérieure, et une généralisation de la dualité de Koszul dans le contexte opétopique.