Category Archives: Homotopy

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

La théorie des types et ses applications à la Science des ordinateurs

https://pdfs.semanticscholar.org/7f8b/cb79306cd0d1e5870b5f0b8038c3c94983fd.pdf La théorie des types émerge des travaux de Bertrand Russell , au début du 20eme siècle, elle atteint des niveaux plus sophistiqués dans les recherches de logiciens comme Alonso Chirch , HoTT en est le stade le plus moderne … Continue reading

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

Andrei Rodin : Logic and geometry in topos theory and #HoTT 1

Ce travail d’Andrei Rodin: http://philomatica.org/wp-content/uploads/2013/01/am2.pdf fait suite, ou accompagne, cet autre que nous avons étudié ici: http://ffp14.cpt.univ-mrs.fr/DOCUMENTS/SLIDES/RODIN_Andrei.pdf Le domaine de prédilection de ce philosophe est la méthode axiomatique: https://arxiv.org/abs/1210.1478 Page 3: La “received axiomatic method” (RAM) qui d’origine des recherches … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Homotopy, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged , , , ,

What is geometry?

Originally posted on Motivic stuff:
(This is an extended set of notes for Part 1 of a talk I gave a few days ago at the Young Researchers in Mathematics conference in Cambridge. Part 2 will be posted soon.) What…

Posted in ∞-catégories, ∞-topoi, Homotopy, homotopy type theory, Philosophie

Seminar on simplicial homotopy theory

https://www.math.ru.nl/~mgroth/teaching/simpli12.html Organisé par Groth et Urs Schreiber, avec en bas des liens intéressants

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