HoTT is a Polyvalent Foundation of Mathemtics