Daily Archives: March 28, 2018

Baez, Shulman : lectures on n-categories and cohomology

Click to access 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, … Continue reading

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

Representable cartesian fibrations

Click to access 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. … Continue reading

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

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

Cet article de Riehl et Verity : Click to access 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 … Continue 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