Homotopy type theory = Higher topos theory ?

Page 24 sur 31 de

http://coqhott.gforge.inria.fr/fichiers/CoqHoTT-local.pdf

Advertisements
This entry was posted in ∞-topoi, Higher category theory, Higher topos theory, homotopy type theory. Bookmark the permalink.