A fixed-point theorem in a category of compact metric spaces

AbstractVarious results appear in the literature for deriving existence and uniqueness of fixed points for endofunctors on categories of complete metric spaces. All these results are proved for contracting functors which satisfy some further requirements, depending on the category in question.Following a new kind of approach, based on the notion of η-isometry, we show that the sole hypothesis of contractivity is enough for proving existence and uniqueness of fixed points for endofunctors on the category of compact metric spaces and embedding-projection pairs

From Branching to Linear Metric Domains (and back)

A branching and a linear metric domain - both turned into a category - are related by means of a reflection and a coreflection

From Branching to Linear Metric Domains (and back

is permitted for educational or research use on condition that this copyright notice is included in any copy. See back inner page for a list of recent publications in the BRICS Report Series. Copies may be obtained by contacting: BRIC