groupe de travail

Catégories supérieures, polygraphes et homotopie

responsable : François Métayer

les vendredis à 14h

bâtiment Sophie Germain, salle 3052

Séances 2014-2015

• 10 juillet--Eric Finster
  Introduction au modèle cubique de la théorie des types
• 19 juin--Yves Guiraud
  Le théorème de Squier pour les algèbres
• 5 juin--Camell Kachour
  Opérades supérieures de Batanin et Structures ∞-graphiques
• 22 mai--Bachuki Mesablishvili
  On descent cohomology
• mercredi 20 mai à 10h--Bachuki Mesablishvili
  Entwining structures and Galois functors
• 17 avril--Yves Guiraud
  Le problème du mot du monoïde de Tsejtin
• 10 avril--Pierre-Louis Curien
  Free algebraic structures on the permutohedra (Travail en commun avec E.Burgunder et M.Ronco)
• 3 avril--Muriel Livernet
  Théorèmes de rigidité pour les triples d'opérades
• 27 mars--Maxime Lucas
  Foncteurs injectifs entre (n,k)-catégories libres
• 20 mars--François Métayer
  Caractérisation des bases des omega-catégories libres
• 13 février--François Métayer
  Omega-catégories avec contraction
• 23 janvier--François Métayer
  Quelques questions autour de la structure modèle canonique des omega-catégories
• 16 janvier--Albert Burroni
  Un nerf des omega-catégories obtenu par une méthode d'algèbre homologique
• 12 décembre--Cyrille Chenavier
  Algèbre de confluence et acyclicité du complexe de Koszul (II)
• 5 décembre--Cyrille Chenavier
  Algèbre de confluence et acyclicité du complexe de Koszul (I)
• 28 novembre--Dimitri Ara
  Orientaux généralisés et foncteurs lax entre n-catégories
• 21 novembre--Maxime Lucas
  Equivalence entre omega-catégories globulaires et cubiques (II)
• 14 novembre--Maxime Lucas
  Equivalence entre omega-catégories globulaires et cubiques (I)
• 7 novembre--François Métayer
  Objets cofibrants dans n-Cat
• 24 octobre--Eric Finster
  Opetopes et complexes de chaine
• 10 octobre--François Métayer
  Omega-catégories et complexes de chaine, d'après R.Steiner