… We have developed a notion of bicategory of Markov processes where the two-cells
capture the notion of simulation. The original paper of Baez, Fong and Pollard developed a …

… The formal tool we use to explore this is the notion of a bicategory. Indeed, we construct
bicategories for Markov processes and transition systems, where the objects are input and …

In this paper we propose a notion of bisimulation for labelled Markov processes parameterised
by negligible sets (LMPns). The point is to allow us to say things like two LMPs are “…

… We introduce partial Markov categories as a similar extension of Markov categories to
encode partial stochastic processes, ie stochastic processes that have a probability of failure on …

… graining first for Markov processes and then open Markov processes. In … Bicategories are
written in boldface, while ordinary … , a bicategory Mark, and a category Mark, all closely related. …

… the methodology for defining bisimulation for Markov processes. In the remainder of the
section… Profunctors compose and form a bicategory (ie there is an additional category on arrows), …

… bisimulation, called event bisimulation on labelled Markov processes and compare it with the,
… as the morphisms since associativity only holds up to isomorphism: we have a bicategory. …

… and profunctors, dagger Frobenius algebras and bimodules, black-boxing of open Markov
processes, cartesian bicategories and cartesian double categories, and parametrized spectra. …

… ” Markov process, or more precisely, continuoustime Markov … One can build up a Markov
process from smaller open pieces… to be important eventually, bicategories are a bit distracting …

… are classical finite Markov processes. The operations of the category permit the compositional
description Markov processes. We illustrate by describing a Markov process with 12n …