#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
This entry was posted in ∞-catégories, ∞-topoi, homotopy type theory and tagged , . Bookmark the permalink.