Daily Archives: January 9, 2018

#HoTT : André Joyal et la hiérarchie infinie cumulative d’univers

C’est ici Page 15 sur 39: http://logica.dmi.unisa.it/tacl/wp-content/uploads/2014/08/Joyal-TACL2015.pdf Le caractère cumulatif de la suite Infinie d’univers correspond à l’axiome 2 Voir aussi cette version par Mike Shulman: http://home.sandiego.edu/~shulman/cmshighercategories2013/Joyal.pdf Autre version de Joyal : https://ncatlab.org/homotopytypetheory/files/Joyal.pdf http://www.math.uwaterloo.ca/~asl2013/Slides/Joyal.pdf Advertisements

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

#HoTT Wiki

https://ncatlab.org/homotopytypetheory/show/HomePage

Posted in homotopy type theory

#HoTT : André Joyal π-tribus et h-tribus; tribus de Martin- Lof et de Voevodsky

Les tribus (« tribes ») se répartissent entre π-tribus et h-tribus ( h pour homotopical): https://ncatlab.org/homotopytypetheory/files/Joyal.pdf Et se réunifient ensuite comme tribus de Martin-Lof (ML-tribes)(voir tableau page 11 sur 81) Il existe déjà un article ici : https://anthroposophiephilosophieetscience.wordpress.com/2017/10/14/andre-joyal-hott-tribus-et-⊓-tribus/ Autres articles de ce … Continue reading

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