[過去ﾛｸﾞ] 【ライプニッツ症候群】柄谷行人を解体する79【D】 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
79(1): 2024/10/06(日)16:19 ID:0(79/1000) AAS
＞なぜなら交換とは、可換のことでもあろうからである
c
ommutative lawは、交換法則とも訳すわけだから、訳語としてはそういえるだろうが、
数学における、commutative lawというのは、
与えられた演算の二つの引数を互いに入れ替えても結果が変わらないこと、
通常はこういうことだから、
それが贈与交換（互酬）、略取と再配分、商品交換、来たるべきＤ（柄谷）
これとどういうかかわりがあるという意味で言っているわけよ。
レヴィ＝ストロース『親族の基本構造』では、外婚の機制をアーベル群の概念で整理した
というようなことがあるようだが、交換様式ＡＢＣＤに関しても、圏論を用いで整理することを考案した、というのならば、説明してっちょうだい。
省1
81: [age] 2024/10/06(日)16:44 ID:0(81/1000) AAS
>>79
可換は、コードの定義でいくと、以下のような感じになる。
ssrfun.commutative =
fun (S T : Type) (op : S -> S -> T) =>
forall x y : S, op x y = op y x
: forall S T : Type, (S -> S -> T) -> Prop
これを簡単に言うと、x + y が y + x になったものが可換である
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.805s*