Category Archives: Quasicatégories

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

D. Ara : Higher quasicategories

https://home.sandiego.edu/~shulman/cmshighercategories2013/Ara.pdf

Posted in ∞-cosmoi, category theory, Higher category theory, Quasicatégories, Science, mathesis, Science-internelle

Homotopical trinitarianism : a perspective on #HoTT

https://home.sandiego.edu/~shulman/papers/trinity.pdf Le rapprochement , pages 4 et 5, du trinitarisme chrétien et des différentes trinités païennes n’est à mon avis pas (uniquement ) de la provocation. Pages 7 et 8 est cité Bob Harper : https://existentialtype.wordpress.com/2011/03/27/the-holy-trinity/ http://www.cs.cmu.edu/~rwh/ http://axisofeval.blogspot.com/2011/03/computational-trinitarianism.html https://news.ycombinator.com/item?id=13051057 La … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Ensembles simpliciaux, Higher category theory, Higher topos theory, Quasicatégories, Science, mathesis, Science-internelle

Le blog « Theoretical atlas » de Jeffrey Morton

https://theoreticalatlas.wordpress.com La citation est tirée de Lewis Carroll : https://bigthink.com/strange-maps/93-lewis-carrolls-ocean-chart « He had bought a large map representing the sea, Without the least vestige of land: And the crew were much pleased when they found it to be A map they … Continue reading

Posted in category theory, Higher category theory, Philosophie mathématique, Physique, Quasicatégories, Science, mathesis, Science-internelle