Semi-pullbacks and bisimulation in categories of Markov processes

DOI10.1017/S0960129599002819zbMath0937.18005MaRDI QIDQ4719350

Abbas Edalat

Publication date: 30 May 2000

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

transition probability kernelbisimulationPolish spaceanalytic spacemeasurable mapscategories of Markov processesmeasures on productssemi-pullbacks

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Special categories (18B99) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Markov processes (60J99)

Related Items (13)

Category-theoretic structure for independence and conditional independence ⋮ Unnamed Item ⋮ Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement ⋮ THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES ⋮ Using coalgebras and the Giry monad for interpreting game logics -- a tutorial ⋮ Coalgebraic logic over general measurable spaces – a survey ⋮ The converse of a stochastic relation ⋮ Unprovability of the logical characterization of bisimulation ⋮ Bisimilarity is not Borel ⋮ Bisimulation and cocongruence for probabilistic systems ⋮ Bisimulation for labelled Markov processes ⋮ Approximating Markov Processes by Averaging ⋮ A computable approach to measure and integration theory

This page was built for publication: Semi-pullbacks and bisimulation in categories of Markov processes