Category Archives: Quasicatégories

#∞-cosmoi #quasicategories #HoTT Emily Riehl : synthetic theory of ∞-categories vs synthetic theory of ∞-categories

https://video.ias.edu/VoevodskyMemConf-2018/0912-EmilyRiehl il y a le texte correspondant à la vidéo au bas de la page :   la différence entre les deux approches des ∞-catégories, analytique et synthétique, est expliquée pages 15-16 : Se limiter à un « modèle « … Continue reading

Posted in ∞-catégories, ∞-cosmoi, Ensembles simpliciaux, Quasicatégories, Science-internelle | Leave a comment

#∞-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

#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)

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