Well-Pointed 付き圏が形成するような、
ZFC、GBなどの代替2階述語空間では
バベリアン・ライブラリ圏を定義できます。
これはバベルの図書館的情報海をヒントに作られた
表現可能宇宙全体をスタックとして移動していきます。
つまるところ定義自体が定義の生成圏となっています。