Hostname: page-component-745bb68f8f-s22k5 Total loading time: 0 Render date: 2025-02-04T15:13:04.878Z Has data issue: false hasContentIssue false

Semi-pullbacks and bisimulation in categories of Markov processes

Published online by Cambridge University Press:  01 October 1999

ABBAS EDALAT
Affiliation:
Department of Computing, Imperial College, London SW7 2BZ
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We show that the category whose objects are families of Markov processes on Polish spaces, with a given transition kernel, and whose morphisms are transition probability preserving, surjective continuous maps has semi-pullbacks, i.e., for any pair of morphisms fi:SiS (i = 1, 2), there exists an object V and morphisms πi:VSi (i = 1, 2) such that f1∘π1 = f2∘π2. This property holds for various full subcategories, including that of families of Markov processes on locally compact second countable spaces, and in the larger category where the objects are families of Markov processes on analytic spaces and morphisms are transition probability preserving surjective Borel maps. It also follows that the category of probability measures on Polish spaces and measure-preserving continuous surjective maps has semi-pullbacks. A main consequence of our result is that probabilistic bisimulation for labelled Markov processes on all these categories, defined in terms of spans of morphisms, is an equivalence relation.

Type
Research Article
Copyright
1999 Cambridge University Press