Category Archives: Grothendieck

Maltsinotis: Grothendieck and homotopical algebra

Originally posted on Motivic stuff:
More notes from the Grothendieck conference: Maltsiniotis spoke on Grothendieck and homotopical algebra – here is my scan. In my opinion this talk was one of the best, given that the subject is often regarded as…

Posted in ∞-catégories, Grothendieck, homotopy type theory | Leave a comment

La théorie de l’homotopie de Grothendieck

Je me borne à donner le lien , pour celles et ceux que cela pourrait intéresser: https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/prstnew.pdf mais je ne me sens pas de taille actuelllement à me colleter avec la pensée, extrêmement subtile et profonde de Grothendieck; à noter … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Grothendieck, homotopy type theory, Philosophie | Tagged , , , , , , | Leave a comment

#HoTT Homotopy hypothesis

http://math.ucr.edu/home/baez/homotopy/ Elle permet d’identifier les n-groupoides et les “homotopy n-types”

Posted in ∞-catégories, ∞-topoi, Grothendieck, homotopy type theory, Philosophie | Tagged

#HoTT analogie des n-types et des n-catégories

Revenant à l’article séminal de Michael Shulman: http://home.sandiego.edu/~shulman/papers/synhott.pdf il aborde page 9 section 5 (“identification and equivalences “) la notion de n-types qui forment à partir de n= -2 une échelle infinie semblable à la table périodique des n-catégories : … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory) | Tagged

Andrei Rodin 3 : Constructive identifies for physics

http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf Les conceptions de l’axiomatisation de Hilbert et Lawvere (hégélienne pour ce dernier ) doivent être remplacées par HoTT-UF qui s’origine de MLTT (Martin Lof constructive type theory). UF (Voevodsky) remplace l’option d’une théorie non axiomatique métamathématique par une théorie … Continue reading

Posted in Grothendieck, homotopy type theory, Philosophie, Philosophie mathématique, Physique, Science, mathesis, Science-internelle | Tagged , , , , ,

#ScienceInternelle #HomotopyTypeTheory pourquoi cette importance cruciale de l’homotopie ?

Nous avons rencontré déjà à plusieurs reprises , dans nos articles du Hashtag #ScienceInternelle , #HigherToposTheory ou #HomotopyTypeTheory la notion de l’homotopie et je me suis posé la question de l’explication de cette omniprésence, dans le récent article: https://anthroposophiephilosophieetscience.wordpress.com/2017/06/06/y-a-til-une-bulle-de-homotopytypetheory/ en … Continue reading

Posted in category theory, Cochet-Brunschvicg, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Islam, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des ensembles (set theory), Théorie des topoi (topos theory) | Tagged , , , , , , , , , ,

“HER” (2013) de Spike Jonze en vf :un très grand film MAIS….

À voir ici: http://www.voirfilms.biz/her-8d1XIYemISI.htm Le voir en vf nous prive de la voix américaine de Scarlett Johansson… La Page sur le film: https://fr.m.wikipedia.org/wiki/Her Dans le “MAIS” du titre tient toute ma réaction, individuelle certes et provoquée par mon histoire et … Continue reading

Posted in Balzac, Bertrand Russell, category theory, Cinéma, Descartes, DIEU, Europe, Grothendieck, Hegel, Heidegger, Higher category theory, Higher topos theory, homotopy type theory, Husserl, Léon Brunschvicg, Leibniz, Littérature-Poésie, Logique, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle, Théorie des topoi (topos theory), Wronski-Messianisme-séhélianisme-Science-internelle | Tagged , , ,