English Dictionary

Galois connection

名詞

(category theory, order theory) A type of correspondence between partially ordered sets (posets), also applicable to preordered sets.

日本語の意味

ガロア接続：部分順序集合（または前順序集合）間の対応関係を示す概念。圏論や順序理論において、2つの順序集合間の相互に関連付ける写像が特定の性質を満たす関係を指す。

Understanding the Galois connection between two posets often simplifies arguments in order theory.

二つの順序集合間にあるガロア接続を理解することは、順序理論における議論をしばしば簡素化する。

意味（1）

(category theory, order theory) A type of correspondence between partially ordered sets (posets), also applicable to preordered sets.

Define maps G:A→B and F:B→A by G(a)=y!∈!Y|∀x!∈!ax𝜌y and F(b)=x!∈!X|∀y!∈!bx𝜌y. Then (F,G) is called a Galois connection of the first kind.

Galois connections （ plural ）