たしかに普通の圏論が集合論＋到達不能基数程度なら
ｎ圏がもし形式化されたとしてもｎ到達不能基数
とかｎハイパー到達不能基数くらいしかいかなそうな気がする
そう考えると高次圏論とかホモトピー数学も巨大基数の階層からみると
ほんの下の方のことでむしろ高次元圏こそΘ-linkの枠組みでは赤子ということなのか・・・