#HoTT comprehension categories

https://anthroposophiephilosophieetscience.wordpress.com/2017/09/15/hott-relation-des-tribes-et-des-comprehension-categories/

https://ncatlab.org/nlab/show/categorical+model+of+dependent+types

https://ac.els-cdn.com/030439759390169T/1-s2.0-030439759390169T-main.pdf?_tid=6fd623ba-b1af-11e7-abf0-00000aab0f01&acdnat=1508075451_c0d3fe1fa0a1acb2015e5f08b868259b

Advertisements
This entry was posted in category theory, Computer science, homotopy type theory, Logique, Philosophie mathématique. Bookmark the permalink.