[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part32 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
608(2): デフォルトの名無しさん [sage] 2019/10/23(水) 02:22:17.73 ID:yKBkbeD2(1/3) AAS
>>601
お前が圏論を全く理解していないことは良くわかった
圏論には「関数」とか「値」とか「変数」といった概念はない
「対象」と「射」との２つの概念があるだけだ
だからお前の次の
＞数そのものも圏論では値であり、変数であり、関数である
これは単なる間違いさえ通り越して全くのナンセンス
圏論には値も変数も関数も存在しないのだから
何を対象として何を射とするかは個々の具体的な圏によって異なる
609(1): デフォルトの名無しさん [sage] 2019/10/23(水) 02:25:20.92 ID:yKBkbeD2(2/3) AAS
>>608
ああ、ちょっと簡単に書きすぎたね
確かに関手
610: デフォルトの名無しさん [sage] 2019/10/23(水) 02:29:17.74 ID:yKBkbeD2(3/3) AAS
>>609は書いてる途中で間違って送信してしまった
>>608
ああ、ちょっと筆（じゃなくてキーボード）が滑って簡単に書きすぎたね
確かに関手とか自然変換といった概念も圏論にはあるが、これらもある圏から見れば射や対象に過ぎない
いずれにしても圏論には値や関数や変数といった概念はない
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s