Frame-valued Scott open set monad and its algebras (Q6588926)
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 7898124
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Frame-valued Scott open set monad and its algebras |
scientific article; zbMATH DE number 7898124 |
Statements
Frame-valued Scott open set monad and its algebras (English)
0 references
19 August 2024
0 references
\(\mathsf{Q}\)-Scott open set
0 references
monad
0 references
algebraic \(\mathsf{Q}\)-ordered closure operator
0 references
algebraic \(\mathsf{Q}\)-module
0 references
0 references
0 references
0.8078787922859192
0 references
0.7949367761611938
0 references
0.7652254104614258
0 references
0.7560632824897766
0 references
