Solutions of Functorial and Non-Functorial Metric Domain Equations (1995)
by
F. Alessi
,
P. Baldan
,
G. Belle
,
J. J. M. M. Rutten
| Citations: | 7 - 3 self |
BibTeX
@MISC{Alessi95solutionsof,
author = {F. Alessi and P. Baldan and G. Belle and J. J. M. M. Rutten},
title = {Solutions of Functorial and Non-Functorial Metric Domain Equations},
year = {1995}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A new method for solving domain equations in categories of metric spaces is studied. The categories CMS ß and KMS ß are introduced, having complete and compact metric spaces as objects and ffl-adjoint pairs as arrows. The existence and uniqueness of fixed points for certain endofunctors on these categories is established. The classes of complete and compact metric spaces are considered as pseudo-metric spaces, and it is shown how to solve domain equations in a non-categorical framework.
