3 ms·
In principle, yes. In actuality, you can always introduce new axioms and work with them. http://en.wikipedia.org/wiki/Homotopy_type_theory#Univalence_axiom htt
by nmrm2 11y ago
In principle, yes. In actuality, you can always introduce new axioms and work with them.
http://en.wikipedia.org/wiki/Homotopy_type_theory#Univalence_axiom http://en.wikipedia.org/wiki/Homotopy_type_theory#Univalence...