Calling it topology can be misleading, as HoTT only considers types as spaces in the sense of homotopy equivalence.