[[!redirects large types]] [[!redirects Large types in HoTT]] Here we collect articles about large types in HoTT. * [[excluded middle]] * [[well-order]] * [[natural numbers]] * [[regular type]] * [[aleph type]] * [[beth type]] * [[continuum hypothesis]] * [[generalized continuum hypothesis]] * [[axiom of replacement]] * [[inaccessible type]] * [[hyper-inaccessible type]] * [[Mahlo type]] * [[measurable type]]