|
|
 |
|
Jeudi 24 Février
| Heure: |
10:15 - 12:00 |
| Lieu: |
Salle B405, bâtiment B, LAGA, Institut Galilée, Université Paris 13 |
| Résumé: |
Topologie algébrique - Using topos theory to make analogies precise - |
| Description: |
Morgan RogersA major motivation for studying toposes is that there
are multiple ways to build them. Even if we cannot compare
different toposes directly, we can compare their properties in
order to translate features between the different forms of
generating data. In doing so, we can make precise analogies
between geometric, algebraic or logical settings. |
|
|
