El encanto de la abstracción. Explorando la Teoría de Categorías.

Hay quien dice que la Teoría de Categorías es la matemática de las matemáticas, y en cierto modo tienen razón. En esta rama la abstracción se lleva al extremo hasta establecer la raíz común de multitud de estructuras matemáticas para poder tratarlas como una sola: una categoría puede ser un grafo, una función, una topología, pero también una red de transporte, una base de datos informática o un modelo de física cuántica. En este episodio comprendemos la base de esta teoría: las relaciones matemáticas y sus propiedades; e introducimos la noción de categoría y su utilidad para establecer similitudes entre objetos aparentemente muy distintos. Es un mundo nuevo en el que ubicar lo ya conocido; una manera de pensar acerca de las matemáticas, y con ello una manera de pensar acerca de cómo pensar.