Fundamentos de la Teoría de Categorías y sus aplicaciones en la programación funcional con Haskell
Metadata
Show full item recordcomunitat-uji-handle:10234/158176
comunitat-uji-handle2:10234/71324
comunitat-uji-handle3:10234/97526
comunitat-uji-handle4:
TFG-TFMMetadata
Title
Fundamentos de la Teoría de Categorías y sus aplicaciones en la programación funcional con HaskellAuthor (s)
Tutor/Supervisor; University.Department
Beltrán Felip, Antonio; Universitat Jaume I. Departament de MatemàtiquesDate
2022-07-19Publisher
Universitat Jaume IAbstract
La programación funcional se basa en un hecho fundamental: la composición de
funciones como forma de construir un programa. La Teoría de Categorías, que es en
esencia el estudio de la composición de morfismos, nos ... [+]
La programación funcional se basa en un hecho fundamental: la composición de
funciones como forma de construir un programa. La Teoría de Categorías, que es en
esencia el estudio de la composición de morfismos, nos sirve pues como base teórica
para modelizar y describir patrones de los lenguajes de programación funcionales,
entre ellos, la programación de efectos secundarios, entrada/salida de un programa,
manejo de excepciones, etc., mediante mónadas, un concepto nacido puramente de la
Teoría de Categorías.
En este trabajo de fin de grado damos una exposición general de aquellos fundamentos de la Teoría de Categorías necesarios para llegar al concepto de mónada (un
monoide en la categoría de los endofunctores). Se introducirán para ello los conceptos
de functor, transformación natural, adjunciones y, por supuesto, de mónada, no sin
antes pasar por uno de los resultados más importantes de la Teoría de Categorías, el
Lema de Yoneda y sus consecuencias. Desarrollaremos también estos conceptos no solo
desde el punto de vista matemático, sino también desde la perspectiva del paradigma
funcional mediante el lenguaje de programación Haskell. [-]
Subject
Description
Treball Final de Grau en Matemàtica Computacional. Codi: MT1054. Curs: 2021/2022
Type
info:eu-repo/semantics/bachelorThesisRights
info:eu-repo/semantics/openAccess