Category Archives: Grothendieck

Lettre d’André Joyal à Grothendieck

https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/lettreJoyal.pdf Advertisements

Posted in ∞-catégories, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , | Leave a comment

#HoTT The Book : chapitre 1 , types vs sets

Le livre, écrit par les meilleurs spécialistes de cette nouvelle discipline, peut être acheté ou téléchargé gratuitement ici: The HoTT Book Il vaut mieux apprendre HoTT dans ce livre que lire, comme je le fais, des articles sur Arxiv ou … Continue reading

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

#HoTT : théorie homotopique des types une révolution des mathématiques ?

Lorsque j’ai créé ce blog, il n’y a pas si longtemps de cela, je ne connaissais même pas ce nom : HoTT = homotopy type theory = théorie homotopique des types, encore moins en quoi consistait cette “nouvelle fondation” des … Continue reading

Posted in Alain Badiou, ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, Homotopy, homotopy type theory, Léon Brunschvicg, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , ,

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

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 , , , , , ,

#HoTT Homotopy hypothesis

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

Posted in Philosophie, ∞-catégories, ∞-topoi, Grothendieck, homotopy type theory | 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