Generalized ultrametric spaces are a common generalization of preorders and ordinary ultra-metric spaces, as was observed by Lawvere (1973). Guided by his enriched-categorical view on (ultra)metric spaces, we generalize the standard notions of Cau

Rutten, J.J.M.M. (Jan)

English

A generalized ultrametric space is an ordinary ultrametric space in which the distance need not be symmetric, and where different elements may have distance 0. Our interest in generalized ultrametric spaces is primarily motivated by the following observations: 1. (possibly nondeterministic) transition systems can be naturally endowed with a generalized ultrametric that captures their operational behavior in terms of simulations; 2. the category of generalized ultrametric spaces contains both the categories of preorders and of ordinary ultrametric spaces as full subcategories. A theory of generalized ultrametric spaces is developed along the lines of the work by Smyth and Plotkin (1982) and America and Rutten (1989), such that its restriction to preorders and ordinary ultrametric spaces yields (more and less) familiar facts. Our work has in common with other recent work along the same lines---by Flagg and Kopperman, and Wagner---that it is directly based on Lawvere's V-categorical interpretation of metric spaces, and uses results on quasimetrics by Smyth. It is different in being far less general, and consequently a number of new results, specific for generalized ultrametric spaces, is obtained. In particular, domain equations are solved by means of metric adjoint pairs, and the notions of (generalized) totally-boundedness and bifinite (or `SFU') domain are introduced and characterized

Rutten, Jan

NARCIS 

Elements of generalized ultrametric domain theory

AbstractGeneralized ultrametric spaces are a common generalization of preorders and ordinary ultrametric spaces, as was observed by Lawvere (1973). Guided by his enriched-categorical view on (ultra)metric spaces, we generalize the standard notions of Cauchy sequence and limit in an (ultra)metric space, and of adjoint pair between preorders. This leads to a solution method for recursive domain equations that combines and extends the standard order-theoretic (Smyth and Plotkin, 1982) and metric (America and Rutten, 1989) approaches

Rutten, J.J.M.M.

Elsevier - Publisher Connector 

Elements of generalized ultrametric domain theory 

CWI's Institutional Repository

Generalized ultrametric spaces are a common generalization of preorders and ordinary ultra-metric spaces, as was observed by Lawvere (1973). Guided by his enriched-categorical view on (ultra)metric spaces, we generalize the standard notions of Cauchy sequence and limit in an (ultra)metric space, and of adjoint pair between preorders. This leads to a solution method for recursive domain equations that combines and extends the standard order-theoretic (Smyth and Plotkin, 1982) and metric (America and Rutten, 1989) approaches

Elements of generalized ultrametric domain theory

Abstract

Similar works

Full text

Available Versions

NARCIS

Elsevier - Publisher Connector

CWI's Institutional Repository

NARCIS

CWI's Institutional Repository