"Topos élémentaires, structuralisme abstrait et fondements des mathématiques"
- Recherche
Publié le 1 décembre 2023
–
Mis à jour le 24 juillet 2024
Date(s)
le 5 décembre 2023
17h00 - 18h30
Lieu(x)
Campus Valrose
Salle de conférences du laboratoire J.A. Dieudonné
05/12/23. Dans le cadre des séminaires "Histoire et Philosophie des Sciences" (CRHI), soutenu par l'axe 5 de la MSHS, une conférence est proposée par Jean-Pierre MARQUIS (Université de Montréal).
La conférence sur le thème "Topos élémentaires, structuralisme abstrait et fondements des mathématiques" se déroule uniquement en présentiel.
La théorie des topos (Grothendieck, Lawvere...) suscite actuellement beaucoup d'intérêt dans la communauté mathématique, et au-delà. Dans cet exposé, nous allons présenter quelques exemples simples de topos élémentaires qui ont un intérêt philosophique, discuter comment ils constituent une manifestation du structuralisme en mathématiques, et certaines des implications que cette approche entraîne pour les fondements des mathématiques. Aucune connaissance des topos ou de la théorie des catégories ne sera présupposée.
