Category Archives: Higher topos theory

#BadiouEtreEvenementT3 La stratégie philosophique de Badiou : Immanence, finitude, infini, référent ontologique absolu

L’introduction  générale au début du tome 3 de « L’être et l’évènement » , « L’immanence des vérités «  que je suis en train d’étudier et me propose de commenter dans ce hashtag, est précieuse, car Badiou y explique sa stratégie … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-topoi, category theory, Cochet-Brunschvicg, DIEU, Higher category theory, Higher topos theory, Husserl, Jean -Michel Le Lannou, Léon Brunschvicg, Phénoménologie, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Leave a comment

Les trois cadres fondationnels de la mathématique : #ST , #CT et #HoTT et le système de Badiou

Comme je l’ai dit récemment, je profite de cette période de confinement pour enfin étudier sérieusement le dernier Grand Œuvre de Badiou : L’immanence des vérités, qui constitue le tome 3 de « L’être et l’événement «  , la somme … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Deleuze, Deleuze, DIEU, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Husserl, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Physique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics, Wronski, Wronski-Messianisme-séhélianisme-Science-internelle | Leave a comment

Daniel Murfet : foundations for category theory; univers de Grothendieck

http://therisingsea.org/notes/FoundationsForCategoryTheory.pdf Cet article se situe dans la lancée de : https://anthroposophiephilosophieetscience.wordpress.com/2020/02/13/questions-de-taille-dans-la-theorie-des-categories/ Daniel Murfet déclare d’ entrée « n’être aucunement un expert «  mais rechercher « la paix de l’esprit » relativement aux questions fondationnelles en théorie des catégories. C’est tout … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Descartes, DIEU, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Husserl, Léon Brunschvicg, Ontologie, opposition monde véritable-monde imaginaire, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle

n-topos for large n

https://ncatlab.org/michaelshulman/show/n-topos+for+large+n https://ncatlab.org/nlab/show/n-topos

Posted in category theory, Higher category theory, Higher topos theory, Nlab, Science, mathesis, Science-internelle

∞-categories seminar

http://www.math.titech.ac.jp/~shanekelly/InfinityCategories2017SS.html#x1-7000I  

Posted in ∞-catégories, category theory, Higher category theory, Higher topos theory, Science, mathesis

#HigherToposTheory #HTTUF Leeds 2019 HTT-UF school :minicourse on Higher topos theory references

tout un tas d’articles intéressants dans ce domaine http://conferences.leeds.ac.uk/httuf/wp-content/uploads/sites/43/2019/06/outline-and-references-higher-topos.pdf  

Posted in ∞-catégories, EHTT, Higher category theory, Higher topos theory, homotopy type theory, HTTUF, Philosophie, Science, mathesis

#HigherToposTheory un guide pour la navigation dans le livre de Jacob Lurie

Il vaut peut être la peine, avant de se lancer seul dans la forêt profonde de « Higher Topos theory » de Lurie, de survoler l’ensemble afin d’avoir une idée précise de l’architecture de ce vaste monument : l’article 12 … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, EHTT, Ensembles simpliciaux, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, HTTUF, Nlab, Quasicatégories, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)