3 ms·
Calling it topology can be misleading, as HoTT only considers types as spaces in the sense of homotopy equivalence.
by TheAsprngHacker 7y ago
Calling it topology can be misleading, as HoTT only considers types as spaces in the sense of homotopy equivalence.