Final Sequences and Final Coalgebras for Measurable Spaces
A measure polynomial functor is a functor in the category Meas built up from constant measurable spaces, the identity functor and using products, coproducts and the probability measure functor Δ. In  it was proved that these functors have final coalgebras. We present here a different proof of that fact, one that uses the final sequence of the functor, instead of an ad hoc language. We also show how this method works for certain functors in Set and explore the connection with results in the literature that use the final sequence in other ways.
Unable to display preview. Download preview PDF.
- 3.de Vink, E.P., Rutten, J.J.M.M.: Bisimulation for probabilistic transition systems: a coalgebraic approach. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 271–293. Springer, Heidelberg (1997)Google Scholar
- 4.Moss, L.S., Viglizzo, I.: Final coalgebras for functors on measurable spaces. Information and Computation (2005) (Accepted, under revision)Google Scholar
- 8.Andersen, E.S., Jessen, B.: On the introduction of measures in infinite product sets. Danske Vid. Selsk. Mat-Fys. Medd. 25, 8 (1948)Google Scholar
- 9.Halmos, P.R.: Measure Theory. D, Van Nostrand Company, Inc., New York, xi + pp. 304 (1950)Google Scholar
- 10.Kurz, A., Pattinson, D.: Definability, canonical models, compactness for finitary coalgebraic modal logic. In: CMCS 2002: coalgebraic methods in computer science (Berlin). Electron. Notes Theor. Comput. Sci, vol. 65 (2002)Google Scholar
- 12.Worrell, J.: Terminal sequences for accessible endofunctors. In: CMCS 1999 Coalgebraic Methods in Computer Science, Amsterdam. Electron, vol. 19, p. 15. Elsevier, Amsterdam (1999) (electronic) Google Scholar