Daily Archives: February 7, 2018

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

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

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

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

A Categorical semantics for causal structure

https://johncarlosbaez.wordpress.com/2018/02/07/a-categorical-semantics-for-causal-structure/

Posted in ∞-catégories, category theory, Higher category theory, Science, mathesis, Science-internelle

The simplicial model of univalent foundations

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια Philosophie, théorie des catégories et théorie homotopique des types:
https://arxiv.org/abs/1211.2851

Posted in Philosophie

Kapulkin : Π-types and Σ-types in homotopy theoretic models of type theory

Les types dépendants sont abordés dans le Livre, voir : https://anthroposophiephilosophieetscience.wordpress.com/2017/09/16/hott-the-book-1-4-dependent-function-types-π-types/ https://anthroposophiephilosophieetscience.wordpress.com/2017/09/27/hott-the-book-product-types-dependent-pair-types-ou-σ-type/ Ce travail de Kapulkin sous forme de transparents aborde le lien avec les catégories: https://www.mathstat.dal.ca/~selinger/ofest2010/slides/Kapulkin-Pi_and_Sigma_slides.pdf La page 3 sur 17 donne les équivalences pour Π et Σ dans … Continue reading

Posted in ∞-catégories, category theory, Higher category theory, Homotopy, homotopy type theory, Science-internelle