The order-<b>K</b>-ification monads (Q6149960)
From MaRDI portal
scientific article; zbMATH DE number 7813374
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The order-<b>K</b>-ification monads |
scientific article; zbMATH DE number 7813374 |
Statements
The order-<b>K</b>-ification monads (English)
0 references
5 March 2024
0 references
dcpos
0 references
order-\textbf{K}-ification Monad
0 references
Eilenberg-Moore algebras
0 references
\(k\)-complete posets
0 references
