论文信息 - Terminal Coalgebras for Measure-Polynomial Functors

Terminal Coalgebras for Measure-Polynomial Functors

We use the Kolmogorov Consistency Theorem from Measure Theory to construct terminal coalgebras for a large class of functors on the category of measurable spaces. In particular, we construct terminal stochastic relations and terminal labelled Markov processes. We use this constructions to provide extended expressivity results for canonical interpretations of modal and temporal logics in these structures.

Christoph Schubert

[1] Martin Rößiger. Languages for Coalgebras on Datafunctors , 1999, CMCS.

[2] Joël Ouaknine,et al. Domain theory, testing and simulation for labelled Markov processes , 2005, Theor. Comput. Sci..

[3] A. Kechris. Classical descriptive set theory , 1987 .

[4] E. Doberkat. Stochastic Relations : Foundations for Markov Transition Systems , 2007 .

[5] E. Doberkat. Stochastic Relations , 2007 .

[6] James Worrell,et al. Terminal sequences for accessible endofunctors , 1999, CMCS.

[7] Ignacio Darío Viglizzo,et al. Coalgebras on Measurable Spaces , 2010 .

[8] Christel Baier,et al. Model-Checking Algorithms for Continuous-Time Markov Chains , 2002, IEEE Trans. Software Eng..

[9] Alexander Kurz,et al. Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings , 2009, CALCO.

[10] Horst Herrlich,et al. Abstract and concrete categories , 1990 .

[11] Ignacio Darío Viglizzo,et al. Final Sequences and Final Coalgebras for Measurable Spaces , 2005, CALCO.

[12] Ernst-Erich Doberkat,et al. Coalgebraic logic for stochastic right coalgebras , 2009, Ann. Pure Appl. Log..

[13] K. Brown,et al. Graduate Texts in Mathematics , 1982 .

[14] Lawrence S. Moss,et al. Final coalgebras for functors on measurable spaces , 2006, Inf. Comput..