Daily Archives: August 10, 2019

Laurent Lafforgue : les topoi de Grothendieck et le rôle qu’ils peuvent jouer en mathématiques

https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos La première heure de l’exposé est la vidéo en haut de page. Le texte correspondant à l’exposé est ici : http://preprints.ihes.fr/2016/M/M-16-26.pdf Il a été rédigé par Laurent Lafforgue à partir de notes et d’exposés d’Olivia Caramello . La théorie … Continue reading

Posted in category theory, Grothendieck, opposition monde véritable-monde imaginaire, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

Extension de Kan ( « Categorical homotopy theory » d’Emily Riehl)

L’extension de Kan est une construction universelle en théorie des catégories: https://fr.m.wikipedia.org/wiki/Extension_de_Kan https://fr.m.wikipedia.org/wiki/Propriété_universelle mais c’est à partir du livre « Categorical homotopy theory » d’Emily Riehl : http://www.math.jhu.edu/~eriehl/cathtpy.pdf Qu’il est le mieux loisible de l’étudier. Le point de vue de … Continue reading

Posted in category theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)