Category Archives: Quasicatégories

#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) | Leave a comment

Cécilia Flori : a topos formulation of history quantum theory

Cet article s’inscrit dans l’approche « topos-theoretical » de la physique thématisée dans l’article précédent : https://anthroposophiephilosophieetscience.wordpress.com/2019/05/15/la-theorie-des-topoi-et-la-physique-topos-physics/ comme aussi le lien donné dans cet article : https://anthroposophiephilosophieetscience.wordpress.com/2019/05/14/these-topos-theoretical-approach-to-quantum-physics/ et vise à commenter la conférence de Cécilia Flori dont le texte est … Continue reading

Posted in Categorical quantum mechanics, category theory, Physique, Quantum mechanics, Quantum relativity, Quasicatégories, Relativité, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), topos physics

Collected works of William Lawvere

https://github.com/mattearnshaw/lawvere Inappréciable.. un géant de la stature de Grothendieck… Lawvere est le fondateur du versant logique de la théorie des topoi, Grothendieck du versant géométrique

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

La Méthode de Spinoza : la connaissance réflexive de l’idée

Archimede réclamait un point fixe pour soulever le monde, Spinoza dans le « Traité de la réforme de l’entendement «  basé sur l’idée vraie donnée la voie pour parvenir au Bien véritable qu’il oppose au début du Traité aux faux biens … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, DIEU, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Quasicatégories, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory)

Nicola Gambino : cours II homotopical algebra

Venant à la suite du cours I : https://hottandphilosophy.wordpress.com/2018/09/02/cours-i-de-nicola-gambino-sur-hott-type-theory/ le cours « homotopical algebra «  est ici : http://www1.maths.leeds.ac.uk/~pmtng/Slides/HoTT-Lecture2.pdf La première partie est consacrée aux « catégories modèles «  ( model category) cadre mathématique pour l’homotopie : https://en.m.wikipedia.org/wiki/Model_category On dit qu’un morphisme … Continue reading

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

Une conséquence importante résultant du fait que les Idées sont mathématiques

Rappel : https://scienceinternelle.wordpress.com/2018/08/20/les-trois-oppositions-fondamentales-de-brunschvicg-a-la-lumiere-du-couple-idees-idees/ Toute Idée est mathématique, ce qui signifie : tous les modèles humains d’une Idée sont des mathèmes, des idées mathématiques. Cela permet d’effectuer des « transformations «  mathématiques ( que l’on peut appeler « calculs ») sur les Idées : … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Descartes, DIEU, Higher category theory, Léon Brunschvicg, Malebranche, Ouvert : dualité plan vital-plan spirituel, Philosophie, Plan vital-plan spirituel, Platon, Quasicatégories, Science, mathesis, Science-internelle

#ScienceInternelle La thèse des modèles mathématiques ou mathèmes d’une Idée

Sur ce blog, j’ai commencé par affirmer que toutes les Idées sont des créations humaines et sont « mathématiques », c’est à dire selon moi nées de la pratique mathématique depuis les Grecs. Puis j’ai tempéré cette thèse, qui peut apparaître comme … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, DIEU, Higher category theory, Homotopy, homotopy type theory, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Quasicatégories, Science, mathesis, Science-internelle