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
|
|
DOI
|
|
|
|
10.1017/S0960129513000017
|
|
Volume/pages
|
|
|
|
(2013)
, p. 1-18
|
|
ISI
|
|
|
|
000348597100003
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|