Every Galois connection is the polarity of an antitone relation (Q796555)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Every Galois connection is the polarity of an antitone relation |
scientific article; zbMATH DE number 3865342
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Every Galois connection is the polarity of an antitone relation |
scientific article; zbMATH DE number 3865342 |
Statements
Every Galois connection is the polarity of an antitone relation (English)
0 references
1984
0 references
In this paper the extendability of monotone functions to residuated or polar maps between suitable join-extensions is shown together with the result in the title.
0 references
extendability of monotone functions
0 references
polar maps
0 references
0.8014396
0 references
0.79531115
0 references
0 references
