Category Archives: Homotopy

Définir les (∞,1)-catégories dans le cadre de #HoTT

Le lien est à http://www.cs.nott.ac.uk/~psxpc2/reedy-slides.pdf Page 6: La donnée d’une (∞,1)- catégorie équivaut à : La donnée d’un type des objets La donnée d’un type des 1-morphismes pour tout couple d’objets Une loi de composition des morphismes Un morphisme identité … Continue reading

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

#HoTT : Homotopy theory in type theory .. en vidéo

Exposé particulièrement clair qui a fait l’objet de cet article: https://anthroposophiephilosophieetscience.wordpress.com/2017/10/30/hott-homotopy-theory-in-type-theory-pour-une-comprehension-claire-de-la-theorie-homotopique-des-types/ La vidéo est ici :

Posted in Homotopy, homotopy type theory

#HoTT Homotopy theory in type theory : pour une compréhension claire de la théorie homotopique des types

J’ai déjà signalé ce lien hier : http://dlicata.web.wesleyan.edu/pubs/bll13homotopy/bll13homotopy.pdf Je voudrais faire remarquer brièvement combien il favorise l’intelligence de ce qu’est vraiment HoTT, à savoir l’introduction de l’homotopie dans la logique de la théorie des types, créée par Bertrand Russell pour … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory, Homotopy, homotopy type theory

#HoTT The Book chapter 2: Homotopy type theory

The HoTT Book L’introduction à ce chapitre 2 est en quelque sorte une introduction à HoTT elle même, à ses méthodes et à ses thématiques. L’idée fondamentale de HoTT (homotopy type theory = théorie homotopique des types) est que les … Continue reading

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

Fibration categories and Type theory

http://www.lorentzcenter.nl/lc/web/2011/467/presentations/Presentation%20C%20Kapulkin.pdf

Posted in Homotopy, homotopy type theory

#HoTT : Voevodsky (2009) notes on Type systems

https://pdfs.semanticscholar.org/4bc5/ab7b810f2b10d04e186667b4647b741a8419.pdf?_ga=2.23829306.1211623468.1508579635-742940545.1491914182 De Voevodsky aussi : Homotopy type systems https://ncatlab.org/homotopytypetheory/files/HTS.pdf

Posted in Homotopy, homotopy type theory

“Dismissive attitude of #HoTT” among homotopy theorists and higher category theorists

https://groups.google.com/forum/m/#!msg/hott-cafe/oBRMrk17G0I/5QBNVcE4AgAJ

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