Category Archives: ∞-cosmoi

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/ Advertisements

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

Emily Riehl : quasicategories as (∞,1)-categories

Les quasicatégories, étudiées à fond par Joyal: http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern45-2.pdf http://www.math.uchicago.edu/~may/IMA/Joyal.pdf ainsi que par Jacob Lurie, sont l’un des »modèles » ( c’est à dire des objets mathématiques précis), avec les espaces complets de Segal, les catégories de Segal, les ensembles simpliciaux marqués (« naturally … Continue reading

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