Category Archives: ∞-cosmoi

Articles scientifiques d’Emily Riehl

https://www.researchgate.net/scientific-contributions/81772718_Emily_Riehl Advertisements

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Leave a comment

La page Nlab pour (∞, n) Cat

https://ncatlab.org/nlab/show/%28infinity%2Cn%29Cat C’est une (∞,n+1)-catégorie, de toutes les (∞,n)-catégories: https://anthroposophiephilosophieetscience.wordpress.com/2017/11/04/∞n-categories-et-∞-1-categories/ https://ncatlab.org/nlab/show/%28infinity%2Cn%29-category

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi | Leave a comment

#HoTT n-types

https://ncatlab.org/nlab/show/homotopy%20n-type Le dernier chapitre de The Book est consacré aux n-types: The HoTT Book Type theoretic replacement & the n-truncation https://golem.ph.utexas.edu/category/2011/03/homotopy_type_theory_i.html Comme je l’ai déjà dit, j’ai dans l’idée que l’on pourrait atténuer un peu la radicalité de la coupure entre … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Bible, category theory, Higher category theory, Higher topos theory, homotopy type theory, Littérature-Poésie, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle

Thèse : towards an (∞,2)-category of coherent monads in an ∞-cosmos

https://infoscience.epfl.ch/record/231037/files/EPFL_TH7748.pdf

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

Rezk : stuff about quasicategories

https://faculty.math.illinois.edu/~rezk/595-fal16/quasicats.pdf

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

André Joyal : the theory of quasi-categories and it’s applications

http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern45-2.pdf

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

André Joyal #HoTT : category theory and homotopy type theory

J’ai déjà loué ici les qualités pédagogiques , la clarté des articles d’André Joyal , notamment la lumière qu’ils apportent , en provenance de la théorie de souche catégories, à propos de la théorie homotopique des types. Le lien suivant … Continue reading

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