[過去ﾛｸﾞ] IUTを読むための用語集資料スレ2 (489ﾚｽ)

IUTを読むための用語集資料スレ2 http://rio2016.5ch.net/test/read.cgi/math/1606813903/

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

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

56: １３２人目の素数さん [] 2021/04/10(土) 09:03:06.97 ID:BBK6b/st Galois connectionを、「ガロア接続」と訳しているけど、ガロア関係くらいの方が分かりやすくね？ なんか、ソフトウェア分野では、「随伴（ガロア接続）」なんて使われているのかｗ（＾＾； https://en.wikipedia.org/wiki/Galois_connection Galois connection Antitone Galois connections Galois theory The motivating example comes from Galois theory: suppose L/K is a field extension. Let A be the set of all subfields of L that contain K, ordered by inclusion ⊆. If E is such a subfield, write Gal(L/E) for the group of field automorphisms of L that hold E fixed. Let B be the set of subgroups of Gal(L/K), ordered by inclusion ⊆. For such a subgroup G, define Fix(G) to be the field consisting of all elements of L that are held fixed by all elements of G. Then the maps E → Gal(L/E) and G → Fix(G) form an antitone Galois connection. 7 Connection to category theory 8 Applications in the theory of programming https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E6%8E%A5%E7%B6%9A ガロア接続 https://www.jstage.jst.go.jp/article/jssstconference/2003/0/2003_0_51/_pdf 日本ソフトウェア科学会第 20 回大会（2003 年度）論文集 1 抽象解釈にみられる圏論的構成について 木下 佳樹　　　西澤 弘毅 † 東京大学 情報理工学系研究科 コンピュータ科学専攻 完備束と随伴 本稿は以下のように構成する．第 2 節では完備束 および随伴（ガロア接続）に関する用語を確定し，後 に使う基本的な事実を列挙する． http://rio2016.5ch.net/test/read.cgi/math/1606813903/56

---

ﾒﾓ帳

(0/65535文字)

---

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

---

あと 433 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.006s