Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

La géométrie cubique de la réécriture de dimension supérieure

Jeudi 16 novembre 11:00-12:00 - Maxime LUCAS - IRIF, Paris

La géométrie cubique de la réécriture de dimension supérieure

Résumé : La réécriture de dimension supérieure a pour origine des questions portant autour du problème du mot pour les monoides. Plus récemment, il a été montré que la réécriture de dimension supérieure était adaptée pour résoudre des problèmes de cohérence et de catégorification. Le but de cet exposé sera d’expliquer ces problèmes sur des exemples et de montrer quelles sont les méthodes que la réécriture offre pour les résoudre. En particulier, nous verrons comment la géométrie cubique apparaît naturellement dans ce cadre, et ses liens avec des notions classiques de réécriture comme la confluence.

Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
Site Sud
Campus de Luminy, Case 907
13288 MARSEILLE Cedex 9

Exporter cet événement

Pour en savoir plus sur cet événement, consultez l'article Séminaire Logique et Interactions