圏論、カテゴリー論 その２ (210ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
201(1): 2024/12/04(水)23:13 ID:RMHqhltL(1) AAS
>>200
>+ -> +1 -> 3
+と+1と3とがどれもオブジェクトとしたいの？
なんかいろいろごっちゃな感じだけどオブジェクトをちゃんと定義できる？
>もしかして、演算子を対象。値を射にした構文木の圏みたいなのってあったりしますか？
演算子は2変数のものを考えてるの？
2変数関数f(x,y)でf,x,y全部変数にして
xを-(x,-):f→(y→f(x,y))
みたいに2変数関数から1変数関数への写像と見るのは自由だけど
202(1): 2024/12/05(木)06:47 ID:D5ymDvED(1) AAS
>>201
あー…そうか、関数（演算子）の集合と値の集合が違うと考えると、集合が最後で変わっちゃいますね。
値も引数無しの関数と見れないこともないけど、何でもアリはいけませんし…。
もうちょっと考えてみます。
すみませんでした。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.018s