Existencia de coálgebras finales para funtores polinomiales
El trabajo es una reconstrucción de un resultado que dice que todo funtor polinomial Kripke tiene asociada una coálgebra final, este resultado fue probado por primera vez en 1989 por P. Aczel y N. Mendler en la revista Category Theory and Computer Science número 389 en las páginas 357- 365. La recon...
- Autores:
-
Téllez Crespo, Andrés Felipe
- Tipo de recurso:
- Trabajo de grado de pregrado
- Fecha de publicación:
- 2011
- Institución:
- Universidad del Valle
- Repositorio:
- Repositorio Digital Univalle
- Idioma:
- spa
- OAI Identifier:
- oai:bibliotecadigital.univalle.edu.co:10893/22265
- Acceso en línea:
- https://hdl.handle.net/10893/22265
- Palabra clave:
- Coálgebra
Funtor
Autómatas
Bisimulación
- Rights
- openAccess
- License
- Atribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)