Coálgebras en espacios medibles
5 al 7 de diciembre de 2006, FaMAF, Universidad Nacional de Córdoba
Organización : tres reuniones de dos horas de duración.
Programa :
1. Nociones de teoría de categorías y espacios medibles: Categorías, funtores, productos, coproductos. Espacios medibles, σ-álgebras, el lema π-λ. Definición de coálgebras. Ejemplos: lógica modal, autómatas.
2. Coálgebras finales. Funtores polinomiales. Construcción usando un lenguaje lógico.
3. Construcción de coálgebras finales usando la secuencia final. Aplicación: espacios de tipos.
Bibliografía :
- L. Moss e I. Viglizzo. Final Coalgebras for Functors on Measurable Spaces, Information and Computation.
- I. Viglizzo. Coalgebras on Measurable Spaces , tesis doctoral, Indiana University , 2005.