DictionaryAI

Galois connection

Short definition from Wiktionary

Noun

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

We haven’t written up Galois connection yet: Simple and Standard meanings, examples and a quiz.