Une rose seule, c'est toutes les roses et celle-ci : l'irremplaçable, le parfait, le souple vocable encadré par le texte des choses. Comment jamais dire sans elle ce que furent nos espérances, et les tendres intermittences dans la partance continuelle.
Baez, Shulman : lectures on n-categories and cohomology
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:
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