Category Archives: Higher topos theory

La honteuse agression antisémite subie par Alain Finkielkraut à Paris

https://actu.orange.fr/france/videos/gilets-jaunes-alain-finkielkraut-victime-d-insultes-antisemites-CNT000001d0EDB.html#plmAnchor https://www.lci.fr/social/video-alain-finkielkraut-insulte-et-pris-a-partie-par-des-gilets-jaunes-dans-le-quartier-de-montparnasse-a-paris-2113131.html https://www.lci.fr/politique/certains-voulaient-me-casser-la-gueule-sur-lci-alain-finkielkraut-reagit-a-l-agression-dont-il-a-ete-victime-hier-2113158.html https://www.franceinter.fr/politique/alain-finkielkraut-pris-a-partie-par-des-gilets-jaunes Finkielkraut est un des plus mesurés sur Israël, donc le traiter de « sioniste de merde » c’est équivalent à lui crier « sale juif de merde « .. mais ces gens là n’ont même pas le courage d’assumer Mais … Continue reading

Posted in Alain Badiou, Antisionisme-antisémitisme, ∞-cosmoi, ∞-topoi, Cochet-Brunschvicg, Coran, Descartes, DIEU, FRANCE 2017, Higher category theory, Higher topos theory, Léon Brunschvicg, Macrollande-dictature, Malebranche, nazisme, Occident faustien, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Platon, Science, mathesis, Science-internelle, Simone Weil | Leave a comment

#EHTT André Joyal : What is an elementary higher topos EHT ? a tentative definition

Le texte des slides est ici : https://www.msri.org/workshops/689/schedules/18227/documents/2046/assets/20468 Il reprend cette conférence : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf que j’ai commentée ici : https://scienceinternelle.wordpress.com/2019/02/14/hott-mike-shulman-categorical-models-of-homotopy-type-theory/ https://anthroposophiephilosophieetscience.wordpress.com/2019/02/10/la-correspondance-entre-ct-et-hott-selon-andre-joyal/ Mais la vidéo du cours est ici :

Posted in ∞-catégories, ∞-cosmoi, category theory, EHTT, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Science, mathesis, Science-internelle | Leave a comment

#EHTT Nima Rasekh : towards algebraic topology in an elementary higher topos (EH- topos = EHT)

Le texte est ici : https://www.uwo.ca/math/faculty/kapulkin/seminars/hottestfiles/Rasekh-2019-02-07-HoTTEST.pdf Une partie en a été commentée ici : https://scienceinternelle.wordpress.com/2019/02/15/ehtt-vs-hott-what-is-an-elementary-higher-topos/ EHTT est à mon sens ce qui va prendre la suite de HoTT , je peux me tromper bien sûr .. et c’est en train … Continue reading

Posted in EHTT, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle, Théorie des topoi (topos theory) | Leave a comment

La correspondance entre #CT et #HoTT selon André Joyal

j’ai expliqué ici pourquoi il était nécessaire de réaliser un «  second service » de la partie des articles les plus importants du hashtag #HoTT : https://scienceinternelle.wordpress.com/2019/02/05/theorie-des-ensembles-set-theory-st-theorie-des-categories-category-theory-ct-theorie-des-types-type-theory-tt-et-theorie-homotopique-des-types-homotopy-type-theory-hott/ Les articles portant sur es travaux d’ André Joyal sont incontestablement les plus … Continue reading

Posted in Alain Badiou, category theory, Cochet-Brunschvicg, Ensembles simpliciaux, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Platon, Science, mathesis, Science-internelle | Leave a comment

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)

Du Concept au Mathème

http://mathesis.blogg.org/spinoza-et-whitehead-a115764128 Alexandre Kojeve définit le Concept ( Der Begriff) de Hegel comme : « L’Unitotalité intégrée de toutes les notions non contradictoires” (à l’exclusion des pseudo-notions comme “Dieu-Etre-Eternel” donc)«  Mais après « Process and reality «  le Concept doit à mon sens … Continue reading

Posted in ∞-catégories, ∞-cosmoi, category theory, Descartes, Hegel, Heidegger, Higher category theory, Higher topos theory, homotopy type theory, Léon Brunschvicg, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Plan vital-plan spirituel, Platon, Science, mathesis, Science-internelle, Spinoza | Tagged , , ,

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