Introducción a la teoría de categorías