>>591
モッチーのΘlinkの議論が高次の圏論の話と類似してる。

というかモッチーのΘlinkの議論は高次の圏論と切っても切り離せない。
そもそもΘlinkの議論の場はおそらく２圏で形式化されるから。
もっちーのアイデアでは複数個のグロタンディーク宇宙全体を同時に扱う必要があるけど、
グロタンディーク宇宙の集合間の関手として定義される(2,1)-stackと呼ばれる２層が必要。
ZFCでやるなら到達不能基数は最低でも加えないとダメ。
ちなみにstack projectで定義してるのはArtin stackで
亜群のファイバーをグロタンディーク位相に絞って具現化したものだから汎用性が低い数論幾何特化型。
これじゃもっちーの論証の複雑さに耐えられない。
http://math.berkeley.edu/~anton/written/Stacks/Stacks.pdf
これの２４章の方の定義のスタックじゃないと厳しい。