Repositorio de producción científica de la Universidad de Sevilla

Teoría de categorías y programación funcional

 

Advanced Search
 
Opened Access Teoría de categorías y programación funcional
Cites
Show item statistics
Icon
Export to
Author: Pedraza López, Diego
Director: Alonso Jiménez, José Antonio
Department: Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
Date: 2018
Document type: Final Degree Work
Academic Title: Universidad de Sevilla. Grado en Matemáticas
Abstract: En esencia, la teoría de categorías es el estudio de la composición. Una categoría es una colección de objetos y morfismos entre ellos de manera que la composición tenga sentido. Este tipo de estructura ressulta ser muy común en la mayoría de los campos de las matemáticas. Es más, tiene un fuerte vínculo con la lógica y la teoría de tipos a través de las categorías cartesianamente cerradas. En programación funcional, algunos diseños como las mónadas son originarias de la teoría de categorías. Para poder hablar de estos temas, primero tendremos que entender las construcciones comunes que pueden ser definidas sobre una categoría o incluso entre categorías. Exploraremos el campo de la teoría de categorías y sus conexiones con otros campos de la matemáticas usando programación funcional, específicamente Haskell. In essence, category theory is the study of the composition. A category is a collection of objects and morphism between them where composition of morphism makes sense. This kind of structure happens to be very common in most fields of mathematics. Furthermore, it has strong links with logic and type theory through cartesian closed categories. In functional programming, some design patterns like monads originate from category theory. In order to discuss this topics, first we’ll have to understand common constructions that can be defined over a category or even between categories. We will explore the realm of category theory and its connections with other fields of mathematics using functional programming, specifically Haskell.
Size: 436.9Kb
Format: PDF

URI: https://hdl.handle.net/11441/77572

This work is under a Creative Commons License: 
Attribution-NonCommercial-NoDerivatives 4.0 Internacional

This item appears in the following Collection(s)