Baez, Shulman : lectures on n-categories and cohomology

http://www.math.uchicago.edu/~may/IMA/BaezShulman.pdf

Ce texte a été écrit il y a longtemps, Michael Shulman est maintenant devenu l’un des protagonistes principaux du projet HoTT, ce travail rappelle que la théorie des ∞-catégories a commencé avec les travaux de Baez, qui continue à écrire dans le blog Azimuth:

https://meditationesdeprimaphilosophia.wordpress.com/2016/02/10/azimuth-le-blog-de-john-carlos-baez/

Accessoirement, en page 2 de ce cours sur le n-catégories on trouve une des meilleures explications du principe de la théorie de Galois : étudier comment une petit objet k vit dans un plus grand K en observant les symétries de K qui fixent k

Advertisements
This entry was posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory. Bookmark the permalink.