Generic commutative separable algebras and cospans of graphs.
A universal property of the monoidal 2-category of cospans of ordinals and surjections.
The compositional construction of Markov processes II
We add sequential operations to the categorical algebra of weighted and Markov automata introduced in [L. de Francesco Albasini, N. Sabadini and R.F.C. Walters, arXiv:0909.4136]. The extra expressiveness of the algebra permits the description of hierarchical systems, and ones with evolving geometry. We make a comparison with the probabilistic automata of Lynch [ 37 (2007) 977–1013].
The compositional construction of Markov processes II
We add sequential operations to the categorical algebra of weighted and Markov automata introduced in [L. de Francesco Albasini, N. Sabadini and R.F.C. Walters, ]. The extra expressiveness of the algebra permits the description of hierarchical systems, and ones with evolving geometry. We make a comparison with the probabilistic automata of Lynch [ (2007) 977–1013].
Page 1