Publication
Title
Fixed points of contractive maps on dcpo's
Author
Abstract
In this paper we study approach structures on dcpo's. A dcpo (X, ≤) will be endowed with several other structures: the Scott topology; an approach structure generated by a collection of weightable quasi metrics on X; and a collection of weights corresponding to the quasi metrics. Understanding the interaction between these structures on X will eventually lead to some fixed-point theorems for the morphisms in the category of approach spaces, which are called contractions. Existing fixed-point theorems on both monotone and non-monotone maps are obtained as special cases.
Language
English
Source (journal)
Mathematical structures in computer science. - Cambridge
Publication
Cambridge : 2013
ISSN
0960-1295
Volume/pages
(2013), p. 1-18
ISI
000348597100003
Full text (Publishers DOI)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Web of Science
Record
Identification
Creation 14.05.2013
Last edited 17.05.2017
To cite this reference