#HoTT sets, simplicial sets, types, categories

Une introduction claire à la théorie homotopique des types :

https://www.groundai.com/project/constructive-set-theory-from-a-weak-tarski-universe/

Sa page Arxiv :

https://arxiv.org/abs/1411.5591v1

Advertisements
This entry was posted in category theory, Higher category theory, homotopy type theory, Théorie des ensembles (set theory). Bookmark the permalink.