HoTT stable