Opetopes : syntactic and algebraic aspects
Opétopes : aspects syntaxiques et algébriques
par Cédric HO THANH sous la direction de Pierre-Louis CURIEN et de Samuel MIMRAM
Thèse de doctorat en Mathématiques. Algèbre
ED 386 Sciences Mathematiques de Paris Centre

Soutenue le jeudi 15 octobre 2020 à Université Paris Cité

Sujets
  • Arbres (théorie des graphes)
  • Logique monadique du second-ordre
Le texte intégral n’est pas librement disponible sur le web
Vous pouvez accéder au texte intégral de la thèse en vous authentifiant à l’aide des identifiants ENT d’Université Paris Cité, si vous en êtes membre, ou en demandant un accès extérieur, si vous pouvez justifier de de votre appartenance à un établissement français chargé d’une mission d’enseignement supérieur ou de recherche

Se connecter ou demander un accès au texte intégral

Les thèses de doctorat soutenues à Université Paris Cité sont déposées au format électronique

Consultation de la thèse sur d’autres sites :

https://theses.md.univ-paris-diderot.fr/HO_THANH_Cedric_va2.pdf (Version intégrale de la thèse (pdf))

Description en anglais
Description en français
Mots clés
Opétope, Monade polynomiale, Construction de Baez-Dolan, Calcul de séquent, Algèbre opétopique, Oprérade, Combinade
Resumé
Les opétopes sont des formes (tout comme les globes, les cubes, les simplex, les dendrex, etc.) inventées par Baez et Dolan afin de pouvoir décrire les cellules de cohérence des catégories supérieures faibles. Informellement, ce sont des arbres d'arbres d'arbres d'arbres... Ces formes sont séduisantes car elles sont intrinsèquement simples et apparaissent fréquemment en pratique. Cependant, leur nature inductive les rend difficile à manipuler efficacement. Cette thèse développe la théorie des opétopes selon trois axes. Premièrement, nous formulons une définition propre et robuste, en suivant minutieusement l'approche deKock-Joyal-Batanin-Mascari, basée sur la théorie des monades et des arbres polynomiaux. En itérant la construction de Baez-Dolan sur le foncteur identité sur la catégorie des ensembles, nous obtenons une suite de monades polynomiales, et leurs opérations sont des arbres sur des monades précédentes. Ce processus génère les opétopes et cerne leur structure récursive. Ensuite, nous présentons la notion d'adresse supérieure, qui nous permettent de "naviguer" dans les opétopes et leurs faces afin d'atteindre un noeud ou une arrête donné. Ce formalisme permet une étude plus poussée de la structure des monades polynomiales et des opérations sur les arbres qu'elles encapsulent. Dans notre cas, il s'agit des opérations naturelles sur les opétopes,par exemple les greffes et les substitutions. Ensuite, nous introduisons deux systèmes syntaxiques pour décrire les opétopes etles ensembles opétopiques, avec pour objectif leur implémentation informatique. Dans chacune de ces deux approches, les opétopes sont encodés par des expressions dont la validité est assurée par des calculs des séquents correspondants. Dans la première,appelée approche nommée, nous décrivons la structure compositionnelle des opétopes en utilisant un certain type de terme. La seconde, appelée approche anonyme, se concentre sur une représentation syntaxique simple des arbres sous jacents aux opétopes. Bien que plus proche de la définition polynomiale, sa syntaxe est moins facile à lire que celle de l'approche nommée. Enfin, dans la dernière partie de cette thèse, nous étudions les structures algébriques que les opétopes décrivent. Ces structures, que nous appelons algèbres opétopiques,généralisent les catégories, les opérades planaires, et les combinades des arbres planaires de Loday. Nous commençons pas étendre les monades génératrices à des catégories d'ensemble opétopiques tronqués, de sorte à ce que les algèbres opétopiques ne soient simplement que des algèbres sur ces extensions. Nous introduisons la catégories des formes opétopiques, et en mettant à contribution la théorie des adjoints à droite paramétriques de Weber, nous montrons que les algèbres opétopiques peuvent se comprendre comme des préfaisceaux satisfaisant certaines conditions de relèvement unique. Nous nous intéressons ensuite à la notion l'algèbre faible. En se basant sur les théories existantes dans le cas simplicial et dendroïdal, nous en donnons trois interprétations: les ¿-algèbres opétopiques, les espaces de Segal complets,et les algèbres opétopiques à homotopies cohérentes près. Nous montrons que certains résultats classiques de Rezk, Joyal-Tierney, et Horel (pour les ¿-catégories), et de Cisinski-Moerdijk (pour les ¿-opérades) peuvent être reformulés et généralisés dans ce cadre. En particulier, ces trois modèles sont équivalents