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

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.