Semi-pullbacks and bisimulation in categories of Markov processes

DOI10.1017/S0960129599002819MaRDI QIDQ4719350zbMATH OpenFDO

Authors Abbas Edalat

Publication date 30 May 2000

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

Full work available at URL https://doi.org/10.1017/S0960129599002819

zbMATH Keywords

analytic spacebisimulationcategories of Markov processesmeasurable mapsmeasures on productsPolish spacesemi-pullbackstransition probability kernel

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2038770
• Bicategories of Markov Processes
• Bisimulation on Markov processes over arbitrary measurable spaces
• Bisimulation for labelled Markov processes
• Convenient category of processes and simulations I: Modulo strong bisimilarity

Cited in

(17)

• A computable approach to measure and integration theory
• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial
• The converse of a stochastic relation
• Category-theoretic structure for independence and conditional independence
• Bisimulation and cocongruence for probabilistic systems
• Bisimulation for labelled Markov processes
• Coalgebraic logic over general measurable spaces -- a survey
• scientific article; zbMATH DE number 2038770 (Why is no real title available?)
• scientific article; zbMATH DE number 7350769 (Why is no real title available?)
• Bicategories of Markov Processes
• Verification of general Markov decision processes by approximate similarity relations and policy refinement
• Bisimilarity is not Borel
• Unprovability of the logical characterization of bisimulation
• Semi-pullbacks for stochastic relations over analytic spaces
• Approximating Markov processes by averaging
• THE ZHOU ORDINAL OF LABELLED MARKOV PROCESSES OVER SEPARABLE SPACES
• A classification of bisimilarities for general Markov decision processes

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4719350)