Évènements
Rechercher un événement
09
Nov
A gentle introduction to combinatorics on words
(...)
How do mathematics define and study the combinatorial structure of words ? I will give the definition of a (infinite) word, then I'll introduce the [...]
09
Nov
Higher Structures in Homotopy Type Theory
Antoine Allioux (IRIF)
The definition of algebraic structures on arbitrary types in homotopy type theory (HoTT) has proven elusive so far. This is due to types behaving like [...]
09
Nov
Représentations du groupe libre dans PU(2,1)
(...)
Les groupes triangulaires hyperboliques de type p,q,r sont les sous-groupes de PO(2,1) engendrés par trois réflexions géodésiques du disque hyperbolique, donc les angles mutuels sont [...]
