Inter-universal geometry と ABC予想 40

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

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

73(1): 2019/07/11(木)07:31 ID:Zv3clUMe(1/2) AAS
SSレポートは問題提起だね
圏論から見て充満多重同型とラベルの位置づけ
はどうなの？

74(1): 2019/07/11(木)11:12 ID:Zv3clUMe(2/2) AAS
>SSレポートが、無限を使用する排中律という
こと

ソースは具体的にどこですか？