Equational theory of continuous lattices (Q805642)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4204401
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Equational theory of continuous lattices |
scientific article; zbMATH DE number 4204401 |
Statements
Equational theory of continuous lattices (English)
0 references
1991
0 references
There are standard equational characterizations of continuous lattices among the complete lattices; the equations in question involve a certain general infinitary distributive law. The author characterizes continuous lattices as posets equipped with an infinitary operation of ``inf'' for each cardinal and a P-ary operation of ``lim inf'' for each directed poset P, for which these operations satisfy a small number of very natural equations. These operations and laws are all algebraic in that they are preserved by morphisms of continuous lattices.
0 references
equational class
0 references
continuous lattices
0 references
0.9248511
0 references
0.9192183
0 references
0.9172267
0 references
0.9098345
0 references
0.9082374
0 references
0 references
0.9077928
0 references
