The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
type: Item
instance of: scholarly article
title: The contraction property is sufficient to guarantee the uniqueness of fixed points of endofunctors in a category of complete metric spaces
zbMATH Open document ID: 0677.18004
DOI: 10.1016/0020-0190(89)90181-6
author: Mila Majster-Cederbaum
published in: Information Processing Letters
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 18B30
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 54H25
Mathematics Subject Classification ID: 54E35
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 4108977
zbMATH Keywords: semantics of programming languages
zbMATH Keywords: fixed points of endofunctors
zbMATH Keywords: concurrency
zbMATH Keywords: synchronisation
zbMATH Keywords: complete metric spaces
zbMATH Keywords: contraction property
MaRDI profile type: Publication
full work available at URL: 0020-0190(89)90181-6
OpenAlex ID: W1975388920
cites work: Q3815463
cites work: Q4063607
cites work: Processes and the denotational semantics of concurrency
cites work: Q4150804
cites work: Semantics of nondeterminism, concurrency, and communication
cites work: Connections between two theories of concurrency: Metric spaces and synchronization trees
cites work: Communicating sequential processes
cites work: On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
cites work: The comparison of a cpo-based semantics with a cms-based semantics for \(CSP\)
cites work: Q3857704
cites work: Data Types as Lattices
cites work: Q5649639
cites work: Power domains
cites work: The Category-Theoretic Solution of Recursive Domain Equations
Recommended article: On the uniqueness of fixed points of endofunctors in a category of complete metric spaces
Recommended article: A fixed-point theorem in a category of compact metric spaces
Recommended article: Fixed points of conditionally \(F\)-contractions in complete metric-like spaces
Recommended article: Existence and uniqueness of endpoints of closed set-valued asymptotic contractions in metric spaces
Recommended article: Some fixed point theorems concerning \(F\)-contraction in complete metric spaces
Recommended article: Fixed points of \(F\)-weak contractions on complete metric spaces
Recommended article: Q3635852
Recommended article: Unique fixed point theorems for generalized contractive mappings in partial metric spaces
Recommended article: Fixed point theorems for contractive mappings in complete \(G\)-metric spaces
Recommended article: Q5017027
description: scientific article; zbMATH DE number 4108977