Hostname: page-component-8448b6f56d-sxzjt Total loading time: 0 Render date: 2024-04-24T18:56:50.640Z 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

Abstract

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)