Category Archives: category theory

Julia Bergner : homotopy theory of (∞,1)-categories

https://anthroposophiephilosophieetscience.wordpress.com/2018/02/09/julia-bergner-homotopy-theory-of-∞1-categories/ J’ai acheté ce livre. Des extraits sont sur Google: https://books.google.fr/books?id=sjRNDwAAQBAJ&pg=PA3&lpg=PA3&dq=julia+bergner+homotopy+theory+of+(∞,1)-categories++SC+CSS+RelCat+Qcat&source=bl&ots=KTU7XI-5Gf&sig=5n0kx2bvuXOdxFp1vPpAbet0-lY&hl=fr&sa=X&ved=2ahUKEwjG883UrsnaAhVDchQKHVQjDb4Q6AEwAHoECAkQAQ#v=onepage&q=julia%20bergner%20homotopy%20theory%20of%20(∞%2C1)-categories%20%20SC%20CSS%20RelCat%20Qcat&f=false Le diagramme qui apparaît page 3 à la fin de l’introduction est en gros le même que celui ci, dans l’article de Barwick et Schommer-Pries: https://anthroposophiephilosophieetscience.wordpress.com/2018/02/25/barwick-schommer-pries-unicity-of-homotopy-theory-of-higher-categories/ et Julia Bergner … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Ensembles simpliciaux, Grothendieck, Higher category theory, Homotopy, homotopy type theory, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle | Leave a comment

#HigherToposTheory reading guide to HTT

https://ncatlab.org/spahn/show/a%20reading%20guide%20to%20HTT Je crois que j’avais signalé cette page de discussions à propos du livre de Lurie: https://nforum.ncatlab.org/discussion/2748/a-learning-roadmap-for-higher-topos-theory/ C’est sur cette page que j’ai pris Connaissance du vaste travail encyclopédique de Tim Porter « Crossed menagerie » https://ncatlab.org/nlab/show/Crossed%20Menagerie https://ncatlab.org/timporter/files/menagerie10.pdf A noter aussi le … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Ensembles simpliciaux, Higher category theory, Higher topos theory, homotopy type theory, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle | Leave a comment

#RiehlVerity #ScienceInternelle #∞-categories Approche synthétique , analytique et schématique

J’étudierai dans ce hashtag les travaux de Dominic Verity et Emily Riehl,consacrées aux différents modèles des (∞,1)-catégories, en particulier ce dernier cours : » ∞-categories for the working mathematician » http://www.math.jhu.edu/~eriehl/ICWM.pdf Commençons par la préface qui indique les buts de ce travail … Continue reading

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Ensembles simpliciaux, Higher category theory, Homotopy, homotopy type theory, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle | Leave a comment

La page d’Emily Riehl à la John Hopkins university

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

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, category theory, Homotopy, homotopy type theory, Philosophie mathématique, Quasicatégories, Science, mathesis, Science-internelle | Leave a comment

Towards a synthetic theory of ∞-categories I

https://scholar.harvard.edu/files/rastern/files/midtermpaper.pdf Articles proches : http://www.math.jhu.edu/~eriehl/ct2017slides.pdf http://www.math.jhu.edu/~eriehl/synthetic.pdf Cet article de Reuben Stern : https://scholar.harvard.edu/rastern/writings-0 d’introduction aux ∞-cosmoi , passe en revue le développement de la théorie des catégories : catégories monoidales (munies d’un produit tensoriel), catégories enrichies, « model categories » et consacre … Continue reading

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

#∞-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

Cours de théorie des catégories appliquée Blog Azimuth

Ce cours de Spivak et Fong fait l’objet du dernier article de John Baez sur son blog : https://johncarlosbaez.wordpress.com/2018/03/26/seven-sketches-in-compositionality/ Le cours est sur Arxiv: https://arxiv.org/abs/1803.05316

Posted in category theory, Science, mathesis