Inter-universal geometry と ABC予想 31

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 31 (1002ﾚｽ)
上下前次1-新
抽出解除必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞あぼーん

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

608: 2018/10/01(月)14:52 ID:TDGuUQHq(1/4) AAS
ショルツはそれが理論の致命的な欠陥だと言っている
何度言えば

610: 2018/10/01(月)18:16 ID:TDGuUQHq(2/4) AAS
有限なある種のhigherな選択(ラベル)アルゴリズムを関手のように扱いたいんだろうね
そういうのを許すのか否か

611: 2018/10/01(月)18:27 ID:TDGuUQHq(3/4) AAS
構成的な観点では別にいいんじゃねえのって気もするわよな
圏論を拡張しちゃってる感はあるが

614(1): 2018/10/01(月)18:41 ID:TDGuUQHq(4/4) AAS
書いてあったってIUTTについて？それとも一般論？