Partially ordered sets with projections and their topology (Q4829444)
From MaRDI portal
scientific article; zbMATH DE number 2120142
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Partially ordered sets with projections and their topology |
scientific article; zbMATH DE number 2120142 |
Statements
Partially ordered sets with projections and their topology (English)
0 references
29 November 2004
0 references
poset with approximating mappings
0 references
poset with projections
0 references
continuous poset
0 references
algebraic poset
0 references
dcpo
0 references
FS-domain
0 references
bifinite domain
0 references
P-domain
0 references
F-uniformity
0 references
F-topology
0 references
pop uniformity
0 references
pop topology
0 references
convergence of monotone nets
0 references
pop homomorphism
0 references
non-expansive map
0 references
weight function
0 references
cartesian closed category
0 references
model for the untyped \(\lambda\)-calculus
0 references
pop completion
0 references
domain completion
0 references
Mazurkiewicz traces
0 references
real traces
0 references
\(\alpha\)-traces
0 references
\(\delta\)-traces
0 references
topology of traces
0 references
