BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:8387@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20140425T110000
DTEND;TZID=Europe/Paris:20140425T120000
DTSTAMP:20241120T210357Z
URL:https://www.i2m.univ-amu.fr/evenements/sur-le-groupoide-de-geometrie-d
 -une-variete-equationnelle-equilibree/
SUMMARY:Laurent Poinsot (LIPN\, Université Paris 13): Sur le groupoïde de
  géométrie d'une variété équationnelle équilibrée
DESCRIPTION:Laurent Poinsot: Patrick Dehornoy a construit un monoïde de fo
 nctions partiellement définies sur une algèbre de termes sur un domaine 
 d'opérateurs (signature) S\, dit conoïde de géométrie\, qu'il associe 
 à toute variété équationnelle V de S-algèbres déterminée par une co
 ngruence équilibrée\, i.e.\, pour laquelle deux termes équivalents poss
 èdent les mêmes ensembles de variables. Dans cet exposé je dégagerai l
 a nature profonde de cette construction qui est celle d'un groupoïde. Je 
 montrerai que celui-ci n'est que l'image d'un groupoïde plus fondamental 
 par une représentation fidèle (un fonceur fidèle dans le groupoïde des
  ensembles et bijections). Ce dernier gouverne alors la "géométrie" du c
 alcul dans la variété V\, au sens où son action sur un terme correspond
  à des réécritures (au sens de la réécriture de termes)\, et hérite 
 de surcroît d'une structure fonctorielle de S-algèbre. Si le temps me le
  permet\, j'aborderai la généralisation de cette construction obtenue en
  remplaçant l'algèbre des termes par une algèbre libre dans une variét
 é équationnelle déterminée par une congruence "linéaire".\n&nbsp\;
ATTACH;FMTTYPE=image/jpeg:https://www.i2m.univ-amu.fr/wp-content/uploads/2
 020/01/Laurent_Poinsot.jpg
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:DAYLIGHT
DTSTART:20140330T030000
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
END:DAYLIGHT
END:VTIMEZONE
END:VCALENDAR