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
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces |
scientific article; zbMATH DE number 4108977
| 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; zbMATH DE number 4108977 |
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
0.93630594
0 references
0.8583946
0 references
0.85589904
0 references
0.8524278
0 references
0.84856397
0 references
0.84715486
0 references
0.8441292
0 references
0.8419887
0 references
