 So for each weakly compact cardinal \(\kappa\) (including \(\kappa = \omega)\) the approximants of level \(\kappa\) in the transfinite type theory just outlined make up a model of set theory with extensionality, generalized positive comprehension, and the closure property. We will refer to this model as the “\(\kappa\)-hyperuniverse”.