Daily Archives: March 28, 2018

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 à … Continue reading

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

Representable cartesian fibrations

https://faculty.math.illinois.edu/~rasekh2/talks/newcartfib.pdf La notion de fibration cartésienne est au cœur de l’article de Riehl et Verity que nous avons commencé à étudier : https://anthroposophiephilosophieetscience.wordpress.com/2018/03/28/∞-cosmoi-riehl-verity-fibrations-and-yonedas-lemma-in-an-∞-cosmos/ ainsi que du projet portant sur les ∞-cosmoi, et donc de la Science internelle. https://ncatlab.org/nlab/show/Cartesian+fibration

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi

#∞-cosmoi Riehl, Verity : Fibrations and Yoneda’s lemma in an ∞-cosmos

Cet article de Riehl et Verity : https://arxiv.org/pdf/1506.05500.pdf est l’une des sources citées par les deux chercheurs dans l’article que nous avons commencé à étudier hier : « Infinity-category theory from scratch » https://anthroposophiephilosophieetscience.wordpress.com/2018/03/25/riehl-verity-infinity-category-from-scratch/ et Riehl et Verity signalent page 11: https://arxiv.org/pdf/1608.05314.pdfContinue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, Science, mathesis, Science-internelle

Riehl, Verity : the model independent theory of ∞-categories

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://math.mit.edu/conferences/talbot/2018/syllabus.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi