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:

    For some men the power to destroy life becomes the equivalent to the female power to create life.
    Myriam Miedzian, U.S. author. Boys Will Be Boys, ch. 4 (1991)

    Lord Byron is an exceedingly interesting person, and as such is it not to be regretted that he is a slave to the vilest and most vulgar prejudices, and as mad as the winds?
    There have been many definitions of beauty in art. What is it? Beauty is what the untrained eyes consider abominable.
    Edmond De Goncourt (1822–1896)