groupe de travail

Catégories supérieures, polygraphes et homotopie

responsable : François Métayer

les vendredis à 14 h

Séances 2012-2013

• 28 juin--Tobias Heindel
  Sur les pushouts des morphismes partiels
• 21 juin--Yves Guiraud
  Présentations cohérentes des groupes d'Artin (III)
• 14 juin--Yves Lafont
  Réécriture appliquée à la théorie combinatoire des groupes
• 31 mai--Yves Guiraud
  Présentations cohérentes des groupes d'Artin (II)
• 17 mai--Yves Guiraud
  Présentations cohérentes des groupes d'Artin (I)
• 12 avril--François Lamarche
  Foncteurs des chemins dans Cat (IV)
• 29 mars--François Lamarche
  Foncteurs des chemins dans Cat (III)
• 1er mars--Samuel Mimram
  Une modélisation catégorique des systèmes de version de contrôle distribués
• 22 février--Eric Hoffbeck
  Bases de Gröbner pour les algèbres sur les opérades non symétriques, suivant Dotsenko et Valette
• 8 février--Eric Hoffbeck
  Chaînes d'Anick pour les algèbres et les opérades, et N-Koszulité (II)
• 18 janvier--Eric Hoffbeck
  Chaînes d'Anick pour les algèbres et les opérades, et N-Koszulité (I)
• 21 décembre--Igor Baković
  Higher Grothendieck constructions
• 7 décembre--François Lamarche
  Foncteurs des chemins dans Cat (II)
• 23 novembre--François Lamarche
  Foncteurs des chemins dans Cat (I)
• 26 octobre--François Métayer
  Linéarisation et homologie dans omega-Cat
• 19 octobre--Jonathan Chiche
  Le retour de la suite de la vengeance du Théorème A (avec encore plus de 2-cellules)
• 5 octobre--François Métayer
  Les 3-polygraphes ne forment pas une catégorie cartésienne fermée, d'après E.Cheng
• 28 septembre--Krzysztof Worytkiewicz
  Une structure de modèles à la Thomason sur 2-Cat