Category Archives: HTTUF

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

#∞-cosmoi #ScienceInternelle prolégomènes aux quasicatégories et à qCat catégorie des quasicatégories

https://fr.m.wikipedia.org/wiki/Quasi-catégorie Rappelons cette figure : où qCat ,CSS ( espaces complets de Segal) , ainsi que les ∞-cosmoi des catégories de Segal et celui des catégories simpliciales sont envisagées comme catégories de modèles au sens de Quillen (« Quillen model … Continue reading

Posted in ∞-catégories, ∞-cosmoi, category theory, Higher category theory, homotopy type theory, HTTUF, Philosophie mathématique, Quasicatégories, Science-internelle

#∞-cosmoi #ScienceInternelle Commencement du travail de recherche sur les ∞-cosmoi de Riehl et Verity orienté vers l’Idée d’Idée ou Étendue Intelligible

Cet article récent : https://anthroposophiephilosophieetscience.wordpress.com/2020/01/01/le-salut-cest-lelevation-de-la-conscience-a-leternite-cest-a-dire-a-limmanence-radicale-qui-est-le-pouvoir-dactualisation-de-la-reflexion-ou/ a plusieurs implications importantes sur les thèses (ou plutôt hypothèses) avancées ici. Désormais je ne défends plus une distinction tranchée entre Idée (Non humaine) et modèles mathématiques  humains ou mathèmes de celle ci : »les … Continue reading

Posted in ∞-cosmoi, category theory, Cochet-Brunschvicg, DIEU, HTTUF, Ouvert : dualité plan vital-plan spirituel, Philosophie, Science, mathesis, Science-internelle, Théorie des topoi (topos theory)

#ToposTheory (suite 3) la faute de Badiou

Je suis loin d’avoir épuisé les ressources , qui semblent inépuisables, de l’article d’Antti Veilahti  «  Alain Badiou’s mistake « : https://arxiv.org/pdf/1301.1203.pdf Dans «Logiques des mondes «  Badiou aborde la théorie des topoi par le biais des T-sets, aussi appelés … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Grothendieck, HTTUF, Léon Brunschvicg, opposition monde véritable-monde imaginaire, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory), topos physics

Introduction to ∞-categories

https://pages.uoregon.edu/njp/tanaka.pdf

Posted in category theory, EHTT, Higher category theory, homotopy type theory, HTTUF, 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