Category Archives: ∞-catégories

#HOTT The Book : théorie des catégories et des précatégories

The HoTT Book Je saute d’un seul coup au chapitre 9 du livre page 317, parce que la formalisation de la théorie des catégories dans le cadre de la théorie homotopique des types est le point le plus crucial au … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, homotopy type theory, Philosophie mathématique, Science-internelle | Leave a comment

Résumé de la thèse de Frank JEDRZEJEWSKI « Diagrammes et catégories » l’Un comme dual de l’Etre

http://thamous.univ-rennes1.fr/sites/theses/docs/presentation_jedrzejewski.pdf Article sur cette thèse, qui parle d’unants, qui sont à l’Un ce que les étants sont à l’Etre : https://meditationesdeprimaphilosophia.wordpress.com/2012/04/24/en-france-du-nouveau-franck-jedrzejewski-diagrammes-et-categories-these-et-introduction/

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, homotopy type theory, Ouvert : dualité plan vital-plan spirituel, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged | Leave a comment

The Comparison Problem in Higher Category Theory

Originally posted on Chris Schommer-Pries:
The history of higher category theory has lead to a wealth of definitions, each built on differing ideas and principles. Until recently there has been very little in the way of machinery to compare them. My…

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory | Leave a comment

Emily Riehl : formal theory of adjunctions , monads, algebras and descent

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Philosophie mathématique, Science, mathesis | Leave a comment

Chris Schommer-Pries : unicity of the homotopy theory of homotopy theories

L’article est ici : https://arxiv.org/pdf/1112.0040.pdf Ce qui est appelé « homotopy theory of homotopy theories » est la même chose que la théorie des (∞,1)-catégories. Voir la figure 1 (Page 2) « Some right Quillen équivalences between models for homotopy theory of homotopy … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, Homotopy, homotopy type theory | Leave a comment

An outline of The theory of (∞,1)-categories

Originally posted on Philosophie, théorie des catégories et théorie homotopique des types:
https://www.ma.utexas.edu/users/adrian.clough/Outline_infinity_categories.pdf

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

Emily Riehl : on the structure of simplicial categories associated to quasi-categories

http://www.math.jhu.edu/~eriehl/necklace.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Higher category theory, Higher topos theory, homotopy type theory, Science, mathesis, Science-internelle | Leave a comment