#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.

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s