[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
321(2): 11/06(木)01:16 ID:PuQ4Gk5G(1/3) AAS
>>313
>圏論のロジック（矢印図）
って
可換図式のこと？
>（例えば P15 "6.3. Duality and derived categories."とかね。にあるのは可換図式だけど
>なお 集合の論理式も P11辺りに 出てくるけどね）
集合の論理式って何のこと？ていうか何でこれらだけを取り上げてるの？
「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
集合の論理式よりずっと高尚なものなのじゃ」
みたいなことを言いたいの？
省2
484(2): 11/08(土)09:48 ID:hP1E8Bup(5/11) AAS
>>321
>「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
>集合の論理式よりずっと高尚なものなのじゃ」
>みたいなことを言いたいの？
てことですか？
762: 11/11(火)13:35 ID:bpqvIxBV(2/3) AAS
>>760
>３）なので”ｗｗｗ”は、原始的なアセンブラを読めると自慢するが 高級言語の圏論 どうよとｗｗｗ
また話をずらそうとしてますね
論理式も図式もアセンブラでもなければコンパイラでもありません
>の圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
「矢印図を読む」とは件の文書の当該ヶ所にある可換図がその「矢印図」なのですね？
それを「読む」というのはどういうことですか？
結局の所
>>321
>「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
省2
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.338s*