Tag Archives: homotopy type theory

Axiomatic cohesion in Homotopy type theory

http://homotopytypetheory.org/2011/11/02/axiomatic-cohesion-in-hott/

Ceci répond aux recherches de Lawvere sur les catégories, et notamment, les topoi cohésifs, qui remplacent ce qu’il appelait d’après Hegel “category of Being”

Advertisements