Galois Connection - Equivalent Definitions

Equivalent Definitions

It can be shown (see Blyth or Erné for proofs) that a function f is a lower (resp. upper) adjoint if and only if f is a residuated mapping (resp. residual mapping). Therefore, the notion of residuated mapping and monotone Galois connection are essentially the same.

Read more about this topic:  Galois Connection

Famous quotes containing the words equivalent and/or definitions:

    “When the apple is ripe it will fall.”
    —Irish proverb.

    An English equivalent to this might be, “To everything there is a season.”

    “What I do not like about our definitions of genius is that there is in them nothing of the day of judgment, nothing of resounding through eternity and nothing of the footsteps of the Almighty.”
    —G.C. (Georg Christoph)