Dans le cadre du séminaire La Pensée des Sciences, le CRHI et le Laboratoire J.A.Dieudonné sont heureux d’accueillir Mathieu ANEL (Université Paris Diderot, Laboratoire SPHERE), le mardi 9 janvier 2018, de 17h à 18h30, en salle de conférences du Laboratoire J.A. Dieudonné (campus Valrose).
Titre de la conférence : « La place des topos dans la formalisation de l’espace »
Résumé
On présentera la notion de topos comme une réponse à l’insuffisance de la notion d’espace topologique pour encoder toutes les formes de spatialité auquel le mathématicien est confronté. Plus précisément, les topos sont un moyen de formaliser des espaces très non-séparés. On rappellera comment la notion d’ouvert sert classiquement à séparer les points et pourquoi elle est insuffisante dans certains cas. On expliquera comment la notion d’homémorphisme local est plus efficace et comment interpréter cela. Si le temps permet, on conclura sur l’insuffisance des topos eux-mêmes.
Propulsé par iCagenda