Tag Archives: Maltsinotis

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