Daily Archives: October 14, 2017

Lettre d’André Joyal à Grothendieck

https://webusers.imj-prg.fr/~georges.maltsiniotis/ps/lettreJoyal.pdf Advertisements

Posted in ∞-catégories, ∞-topoi, category theory, Grothendieck, Higher category theory, Higher topos theory, homotopy type theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged ,

Sept textes d’André Joyal

http://www.iecl.univ-lorraine.fr/~Pierre-Yves.Gaillard/DIVERS/Joyal/

Posted in category theory, Higher category theory, Higher topos theory, Philosophie, Philosophie mathématique, Science, mathesis, Science-internelle | Tagged

André Joyal #HoTT : tribus et ⊓-tribus

Les articles d’andré Joyal, comme ceux de Mike Shulman, apportent l’intelligibilité de la théorie des catégories à la théorie homotopique des types, et renforcent le lien entre les deux domaines: http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf Le livre de Quillen « Homotopical algebra » qui date de … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Philosophie | Tagged , , , ,

André Joyal : the theory of quasi-categories and it’s applications

http://mat.uab.cat/~kock/crm/hocat/advanced-course/Quadern45-2.pdf

Posted in ∞-catégories, ∞-cosmoi, ∞-topoi, homotopy type theory | Tagged

André Joyal : #HoTT and category theory

Voici donc ce lien : http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf Récapitulons ce que nous avons déjà appris de Joyal sur les liens entre théorie des catégories et théorie homotopique des types: Un type est un jugement, possibilité fondamentale de l’humain selon l’idéalisme contemporain qui … Continue reading

Posted in ∞-catégories, ∞-topoi, homotopy type theory, Philosophie | Tagged ,