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:

    “The notion that one will not survive a particular catastrophe is, in general terms, a comfort since it is equivalent to abolishing the catastrophe.”
    —Iris Murdoch (b. 1919)

    “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)