Show simple item record

dc.contributor.advisorOrtiz Rico, Guillermo
dc.contributor.authorTéllez Crespo, Andrés Felipe
dc.date.accessioned2022-10-06T16:52:46Z
dc.date.available2022-10-06T16:52:46Z
dc.date.issued2011
dc.identifier.urihttp://hdl.handle.net/10893/22265
dc.description.abstractEl 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 reconstrucción se basó en varios textos pero principalmente en el trabajo de Bart Jacobs del libro Introduction to Coalgebra. Towards Mathematics of States and Observations. Se usa éste por su facilidad de asociar los diferentes resultados a ejemplos básicos de las ciencias de la computación. En el desarrollo del trabajo se usa lenguaje de categorías, se hace una introducción sencilla a los conceptos propios de las coálgebras como Bisimulación, Invariantes, funtor adjunto y un poco de lógica temporal junto con algunos ejemplos en ciencias de la computación para visualizar mejor los conceptos, esto prepara el terreno para la prueba del resultado de existencia de coálgebra final. Luego se prueban resultados importantes que son consecuencia de la existencia de una coálgebra final. Estos resultados incluyen: la construcción de coálgebras colibres, la completez de la categoría de las coálgebras que para estos funtores es bicompleta y por último se demuestra el Principio de Prueba Coinductiva
dc.format.extent1 recurso en linea (62 páginas)spa
dc.format.mimetypeapplication/pdfspa
dc.language.isospaspa
dc.publisherUniversidad del Vallespa
dc.titleExistencia de coálgebras finales para funtores polinomiales
dc.typeTrabajo de grado - Pregradospa
dc.rights.accessrightsinfo:eu-repo/semantics/openAccessspa
dc.rights.licenseAtribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)spa
dc.publisher.placeColombiaspa
dc.subject.lembCoálgebra
dc.subject.lembFuntor
dc.subject.lembAutómatas
dc.subject.lembBisimulación
dc.type.coarhttp://purl.org/coar/resource_type/c_7a1fspa
dc.type.contentTextspa
dc.type.driverinfo:eu-repo/semantics/bachelorThesisspa
dc.type.redcolhttp://purl.org/redcol/resource_type/TPspa
dc.type.versioninfo:eu-repo/semantics/publishedVersionspa
dc.publisher.facultyFACULTAD DE CIENCIAS NATURALES Y EXACTASspa
dc.description.degreelevelPregradospa
dc.description.degreenameMATEMÁTICO(A)spa
dc.publisher.programMATEMÁTICASspa
dc.type.coarversionhttp://purl.org/coar/version/c_970fb48d4fbd8a85spa
dc.rights.coarhttp://purl.org/coar/access_right/c_abf2spa


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record