Daily Archives: January 18, 2018

#HoTT The Book : n-types; mere propositions

The HoTT Book venant à la suite de https://anthroposophiephilosophieetscience.wordpress.com/2018/01/04/hott-the-book-sets-logic-and-types/ Les n-types (homotopy n-types) sont analogues aux n-catégories: https://anthroposophiephilosophieetscience.wordpress.com/2017/08/06/hott-analogie-des-n-types-et-des-n-categories/ Leur échelle est décrite page du Livre, les 0-types sont les ensembles , dont la propriété définitionnelle est qu’il n’existe pas de … Continue reading

Posted in homotopy type theory