Tag Archives: topos

#GrothendieckTopos exposé de Laurent Lafforgue sur le rôle important des topos de Grothendieck

Le texte de l’exposé est ici : https://www.laurentlafforgue.org/math/OCLLNotesCourtes.pdf Le site Google sur l’exposé : https://sites.google.com/site/logiquecategorique/autres-seminaires/nantes/20160401-Lafforgue-Topos Les vues endossées sur ce blog, à propos de Grothendieck et de la théorie des topoi, ont été développées ici : https://anthroposophiephilosophieetscience.wordpress.com/2019/08/10/laurent-lafforgue-les-topoi-de-grothendieck-et-le-role-quils-peuvent-jouer-en-mathematiques/ et ici : … Continue reading

Posted in category theory, Cochet-Brunschvicg, Ensembles simpliciaux, Grothendieck, homotopy type theory, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , , , , ,

Topos déduit d’une allégorie

https://arxiv.org/pdf/1206.5975.pdf Pour toute allégorie A une sorte particulière de morphismes est appelée « Maps » et ce sont les morphismes qui sont adjoints à gauche ( qui possèdent un adjoint à droite) https://en.m.wikipedia.org/wiki/Allegory_(category_theory)#Maps_in_allegories.2C_and_tabulations En se restreignant aux morphismes de la sorte on … Continue reading

Posted in category theory, Théorie des topoi (topos theory) | Tagged ,