#HoTT Homotopy hypothesis

http://math.ucr.edu/home/baez/homotopy/

Elle permet d’identifier les n-groupoides et les “homotopy n-types”

Advertisements
This entry was posted in ∞-catégories, ∞-topoi, Grothendieck, homotopy type theory, Philosophie and tagged . Bookmark the permalink.