Cisinski : les préfaisceaux comme modèles des types d’homotopie

http://www.mathematik.uni-regensburg.de/cisinski/ast.pdf

Comme alternative au vol 3 de «  Sketches of an elephant « 

https://math.stackexchange.com/questions/573118/volume-3-of-johnstones-sketches-of-an-elephant

Advertisements
This entry was posted in homotopy type theory, Philosophie mathématique, Science-internelle, Théorie des topoi (topos theory). Bookmark the permalink.