圏論、カテゴリー論 その２ (207ﾚｽ)

圏論、カテゴリー論 その２ http://rio2016.5ch.net/test/read.cgi/math/1724056087/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん

---

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

---

201: １３２人目の素数さん [] 2024/12/04(水) 23:13:26.85 ID:RMHqhltL >>200 >+　->　+1　->　3 +と+1と3とがどれもオブジェクトとしたいの？ なんかいろいろごっちゃな感じだけどオブジェクトをちゃんと定義できる？ >もしかして、演算子を対象。値を射にした構文木の圏みたいなのってあったりしますか？ 演算子は2変数のものを考えてるの？ 2変数関数f(x,y)でf,x,y全部変数にして xを-(x,-):f→(y→f(x,y)) みたいに2変数関数から1変数関数への写像と見るのは自由だけど http://rio2016.5ch.net/test/read.cgi/math/1724056087/201

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.009s