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

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

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

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

202: １３２人目の素数さん [] 2024/12/05(木) 06:47:15.70 ID:D5ymDvED >>201 あー…そうか、関数（演算子）の集合と値の集合が違うと考えると、集合が最後で変わっちゃいますね。 値も引数無しの関数と見れないこともないけど、何でもアリはいけませんし…。 もうちょっと考えてみます。 すみませんでした。 http://rio2016.5ch.net/test/read.cgi/math/1724056087/202

---

ﾒﾓ帳

(0/65535文字)

---

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

---

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

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.015s