The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces (Q1123253)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces |
scientific article |
Statements
The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces (English)
0 references
1989
0 references
semantics of programming languages
0 references
fixed points of endofunctors
0 references
concurrency
0 references
synchronisation
0 references
complete metric spaces
0 references
contraction property
0 references
0 references
0 references
