|
Catégories et structure| old_uid | 8240 |
|---|
| title | Catégories et structure |
|---|
| start_date | 2010/02/25 |
|---|
| schedule | 10h-13h |
|---|
| online | no |
|---|
| summary | Théorie catégoricienne des structures et son usage pour la modélisation.
Le noyau de notions développées, accompagnées d'exemples en algèbre et en géométrie, sera : Catégories et foncteurs, foncteurs représentables, problèmes universels. Limites et colimites, notions d'esquisse et de trame. Structures libres et monades, opérades. Diagramme localement libre. Sites et topos, univers, univers algébriques. Algèbres figuratives. |
|---|
| responsibles | Guitart |
|---|
| |
|