>>593 補足
Categories for the Working Mathematician Mac Lane 1998
PDFが落ちていたので そこから
下記 P22
"To this practice, we add one more assumption: The existence of a universe"
こいつが 下記グロタンディーク宇宙 由来であることは あきらか

下記グロタンディーク宇宙と到達不能基数の関係
”任意のグロタンディーク宇宙はある濃度
κ に対し u(κ)
の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである”
百回音読しよう！（＾＾

(参考)
https://i.imgur.com/0ER8pko.jpeg
Categories for the Working Mathematician Mac Lane 1998
P22
To this practice, we add one more assumption: The existence of a
universe. A universe is defined to be a set U with the following (somewhat
redundant) properties:
略
These closure properties for U ensure that any of the standard operations
of set theory applied to elements of U will always produce elements
略

(参考)
https://ja.wikipedia.org/wiki/%E3%82%B0%E3%83%AD%E3%82%BF%E3%83%B3%E3%83%87%E3%82%A3%E3%83%BC%E3%82%AF%E5%AE%87%E5%AE%99
グロタンディーク宇宙
性質
数学におけるグロタンディーク宇宙（グロタンディークうちゅう、英: Grothendieck universe、仏: Univers de Grothendieck）は次の性質をもった集合 Uである[1]：
略
宇宙のアイデアは、アレクサンドル・グロタンディークが代数幾何において真のクラスを回避する方法として導入したことに起因する。
グロタンディーク宇宙は、すべての数学が実行可能な集合を与える（実際には、集合論のためのモデルを与える）。
グロタンディーク宇宙と到達不能基数
任意のグロタンディーク宇宙はある濃度
κ に対し u(κ)
の形となる。これはグロタンディーク宇宙と強到達不能基数の間の別の同値性を与えるものである:

https://ja.wikipedia.org/wiki/%E5%9C%8F%E8%AB%96%E3%81%AE%E5%9F%BA%E7%A4%8E
圏論の基礎（Categories for the Working Mathematician; CWM）は、圏論の創始者の一人であるソーンダース・マックレーン[1]自身によって書かれた圏論の教科書。最初の出版は1971年