[過去ﾛｸﾞ] Inter-universal geometry とABC 予想57
(1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
620(1): 06/05(木)00:56 ID:Bw2dEODy(4/26) AAS
ここで「種」の考え方が登場します。
異なるホッジ・シアター（異なる宇宙に属すると考えられる）に存在する数学的対象（例えば、ある種のモノイドやフロベニオイド）が、同じ「種」に属する標本であると認識することで、それらの対象を比較したり、一方の宇宙の対象を別の宇宙の言葉で記述したりすることが可能になります。
特に、論文IVのテーマであるログ・テータ格子の垂直方向・水平方向の矢印は、異なる「種」のホッジ・シアター（あるいは同じ「種」だが異なる宇宙にあるホッジ・シアターの標本）を結びつけるものであり、この操作を数学的に厳密に扱うために「種」の言語が不可欠となります。
まとめ
IUTTにおける「種」とは、数学的対象の具体的な現れ（標本）ではなく、その対象が満たすべき**定義やルール（集合論的数式）**を指します。この抽象的なレベルで対象を捉えることにより、
異なる数学的宇宙に存在する対象を比較・関連付ける（宇宙際性）
従来の数学では扱いにくかった操作（∈-ループのシミュレート）を可能にする
省3
693: 06/07(土)11:02 ID:7dNqVJgc(24/57) AAS
>>618-623
これ見れば圏の定義を非標準的に改変してるのではなく
圏を内包するメタ概念を提唱してるとわかる
そのメタ概念に触れずに批判が成り立つわけなく
何が書かれてるのが読めてないと確定するだけ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s