Catégories supérieures, polygraphes et homotopie
responsable : François Métayer
les vendredis à 14 h en salle 5 A 92
Séances 2009-2010
-
16 octobre--François MétayerSur deux notions de n-groupoïdes (I)
-
23 octobre--François MétayerSur deux notions de n-groupoïdes (II)
-
30 octobre--Dimitri AraInfini-groupoïdes stricts et types d'homotopie (I)
-
6 novembre--Dimitri AraInfini-groupoïdes stricts et types d'homotopie (II)
-
13 novembre--Albert BurroniLes 3-polygraphes ne forment pas un topos
-
27 novembre--François MétayerLe lemme de recollement d'Artin
-
18 décembre--Pierre-Louis CurienIntroduction aux catégories de modèles (I)
-
8 janvier--Pierre-Louis CurienIntroduction aux catégories de modèles (II)
-
15 janvier--François MétayerStructure de catégorie de modèles sur omega-Cat (I)
-
22 janvier--François MétayerStructure de catégorie de modèles sur omega-Cat (II)
-
29 janvier--Albert BurroniCatégories globulaires monoïdales - Applications à l'informatique
-
12 février--Jonas FreyUne introduction aux (co)limites bi-dimensionnelles
-
26 février--François MétayerPolygraphes et réécriture (I)
-
12 mars--Samuel MimramPolygraphes et réécriture (II)
-
19 mars--François MétayerThéorème de monadicité de Beck et application aux polygraphes
-
26 mars--Dion CoumansScalars, monads and categories
-
16 avril--Paul-André MellièsInroduction aux structures de Yoneda (I)
-
14 mai--Philippe MalbosIdentités entre les relations en réécriture polygraphique
-
21 mai--Paul-André MellièsInroduction aux structures de Yoneda (II)
-
28 mai--Steve AwodeyHomotopical semantics of Martin-Löf type theory
-
4 juin--Tim PorterIdentités, cohomologie et présentations
-
18 juin--11h--Yves Lafont & Pierre RannouDiagrammes, Sigma-diagrammes et propriétés des co-opérations
-
18 juin--14h--Yaël FrégierIntroduction à l'utilisation de la notion de codérivation en théorie de l'homotopie