Teoría de categorías

2022-11-28

La teoría de categorías se encuentra como parte de las matemáticas, en especial con el álgebra abstracta. Y consiste en formar categorías usando objetos y flechas (morfismos), con características como: identidad, composición, etc.

I. Aprender

1.1. Se debe iniciar por la definición básica de una categoría en un espacio y conociendo los distintos axiomas con sus símbolos.

1.2. Aprender los diferentes tipos de morfismos que se encuentran documentados por diversos investigadores.

1.3. Conocer la importancia de los funtores y sus efectos en las categorías.

II. Complementar

2.1. Para su aplicación en computación es necesario conocer la definición de tipos de datos.

2.2. Hacer uso de la teoría de categorías para definir fenómenos o estudiar la relación de elementos que lo componen.

III. Especializar

3.1. Hacer uso de un lenguaje de programación funcional (cálculo lambda o haskell) para ejecutar soluciones a problemas previamente descritos con teoría de categorías.

3.2. La categoría como tal, también es estudiada por distintos filósofos como: Aristóteles, Kant, Marx, etc. Esto permite tener un pensamiento filosófico partiendo desde la lógica de la programación de computadoras.