Daily Archives: September 8, 2017

Model Structure de Thomason sur la catégorie Cat de toutes les catégories et sur l’ ∞-catégorie de toutes les ∞-catégories

La Structure dite de Thomason de “model category” sur Cat est expliquée sur cette page: https://ncatlab.org/nlab/show/Thomason+model+structure Elle diffère de la Structure canonique sur Cat : https://ncatlab.org/nlab/show/canonical+model+structure+on+Cat L’article initial de Thomason est ici http://archive.numdam.org/article/CTGDC_1980__21_3_305_0.pdf Cat∞ , ∞-catégorie de toutes les ∞-catégories, … Continue reading

Posted in ∞-catégories, ∞-topoi, category theory, Higher category theory, Higher topos theory | Tagged , ,

Avoiding the axiom of choice, part I

Originally posted on Henosophia TOPOSOPHIA μαθεσις uni√ersalis τοποσοφια MATHESIS οντοποσοφια ενοσοφια:
Source?: Avoiding the axiom of choice, part I

Posted in Philosophie

Logic matters

http://www.logicmatters.net/categories/ http://www.logicmatters.net/2014/01/06/introducing-homotopy-type-theory/ Plus ceci sur Egbert Rijke, qui est assez jeune pour avoir appris la théorie des types dans HoTT: http://math.andrej.com/2012/08/23/a-hott-thesis/

Posted in ∞-catégories, category theory, homotopy type theory, Logique | Tagged ,