Coherence spaces are untopological (Q1178707)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Coherence spaces are untopological |
scientific article |
Statements
Coherence spaces are untopological (English)
0 references
26 June 1992
0 references
Coherence spaces are special Scott domains which have been used by Girard see \textit{J.-Y. Girard}, \textit{Y. G. A. Lafont} and \textit{P. Taylor} [Proofs and types, Cambridge University Press (1989)] for the semantics of Scott domains. The appropriate morphisms (which make coherence spaces a cartesian closed category) are so called stable functions. These are Scott-continuous, but not conversely. The author shows that it is in fact impossible to associate with each coherence space a topology such that stability is characterized by continuity.
0 references
stable map
0 references
cartesian closed category
0 references
Scott domains
0 references
coherence space
0 references