INVESTIGADORES
VIGLIZZO Ignacio Dario
artículos
Título:
Final Coalgebras for functors on measurable spaces
Autor/es:
LAWRENCE S. MOSS; IGNACIO VIGLIZZO
Revista:
Information and Computation
Editorial:
Elsevier
Referencias:
Lugar: Cambridge, Massachusetts, USA; Año: 2006 vol. 204 p. 610 - 636
ISSN:
0890-5401
Resumen:
We prove that every functor on the category Meas of measurable spaces built from the identity and constant functors usingproducts, coproducts, and the probability measure functor has a final coalgebra. Our work builds on the construction of the universal Harsanyi type spaces by Heifetz and Samet and papers by Rößiger and Jacobs on coalgebraic modal logic. We construct logical languages, probabilistic logics of transition systems, and interpret them on coalgebras. The final coalgebra is carried by the set of descriptions of all points in all coalgebras. For the category Set, we work with the functor D of discrete probability measures. We prove that every functor on Set built from D and the expected functors has a final coalgebra. The work for Set differs from the work for Meas: negation is needed for final coalgebras on Set but not for Meas.
