Algebraic representation of frame-valued continuous lattices via the open filter monad (Q6081542)
From MaRDI portal
scientific article; zbMATH DE number 7755297
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic representation of frame-valued continuous lattices via the open filter monad |
scientific article; zbMATH DE number 7755297 |
Statements
Algebraic representation of frame-valued continuous lattices via the open filter monad (English)
0 references
26 October 2023
0 references
topology
0 references
category
0 references
\(L\)-topology
0 references
open filter monad
0 references
Eilenberg-Moore algebra
0 references
\(L\)-Scott topology
0 references
\(L\)-continuous lattice
0 references
0 references
