Semi-pullbacks and Bisimulation in Categories of Markov Processes

Semi-pullbacks and Bisimulation in Categories of Markov Processes (1999)

Cached

Download Links

[www.doc.ic.ac.uk]

Other Repositories/Bibliography

DBLP

by Abbas Edalat

Citations:

4 - 1 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Semi-pullbacks and Bisimulation in Categories of Markov Processes	user correction - Legacy Corrections
AUTHOR NAME	Abbas Edalat	SVM HeaderParse 0.1
AUTHOR AFFIL	Department of Computing, Imperial College,	SVM HeaderParse 0.2
AUTHOR ADDR	London SW7 2BZ	SVM HeaderParse 0.1
ABSTRACT	this paper, we show that the answer to the above question is positive. More specifically, we give a canonical construction for semi-pullbacks in the category whose objects are families of Markov processes, with given transition kernels, on Polish spaces and whose morphisms are transition probability preserving surjective continuous maps. One immediate consequence is that the category of probability measures on Polish spaces with measure-preserving continuous maps has semi-pullbacks. Our construction gives semi-pullbacks for various full subcategories, including that of Markov processes on locally compact second countable spaces and also in the larger category where the objects are Markov processes on analytic spaces (i.e. continuous images of Polish spaces) and morphisms are transition probability preserving surjective Borel maps. It also applies to the corresponding categories of ultrametric spaces. Finally, our result also holds in the larger categories with Markov processes which are given by subprobability distributions, i.e. the total probability of transition from a state can be strictly less than one. We now explain the relevance of our result in computer science. The consequences of Semi-pullbacks and Bisimulation 3 our mathematical result in the theory of probabilistic bisimulation has been investigated in (Blute et al., 1997; Desharnais et al., 1998). We will briefly review this here. Following the work of Joyal, Nielsen and Winskel (Joyal et al., 1996) on the notion of bisimulation using open maps, define two objects A and B in a category to be bisimular if there exists an object C and morphisms f : C ! A and g : C ! B, i.e.,	user correction - Legacy Corrections
YEAR	1999	user correction - Legacy Corrections
CITATIONS	11 found	ParsCit 1.0