19/07/12 21:22:19.71 H6MCoahp.net
>>77
ああそれはその話ね。Higherといっても別にn階に上げてくって話ではないわけで、要は
どうやって宇宙のループとか入れ子が成り立っているのか、或いは正しいのかということだな
群のアルゴリズムの射を通じてある意味バーチャルに、宇宙に別の宇宙の情報を埋め込んだ関係になっている
「射」はある意味何でもありだから、厳密には関手とも違うがそういう射を考えたというわけだ
そういう話は数学的な存在論としては不可能ではないが（スキームのメタ言語として）、
かといってSSがそういう話をしているとか、この宇宙際メタ言語がそれへの反論になってるとは全く
前スレでは書いてない。圏とZFCでIUTの議論はできる、というだけ。宇宙の作り方は選択公理だけではなくて
特殊な射を考えるというもの
かといってSSが実質的に指摘した、実多様体からスキームへのテータ写像が大域自明であるという問題が
解消されるわけではない。本当は数論的な局所体に特異に埋め込みたかったわけだ