Galois connection

短语

词形变化

Galois connections 复数 Galois connections

别名

Galois connexion

释义与例句

n.
  1. 1.

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

    计算机 工程 数学

    1986, Horst Herrlich, Miroslav Hušek, Galois Connections, Austin Melton, Mathematical Foundation of Programming Semantics: International Conference, Proceedings, Springer, Lecture Notes in Computer Science: 239, page 122, 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.

词源

From Galois (attributive form of Galois theory) + connection; ultimately after French mathematician Évariste Galois. Coined by Norwegian mathematician Øystein Ore in 1944, Galois connexions, Transactions of the American Mathematical Society, 55, pages 493-513.

来源：wiktionary