Se dice que la teoría de las categorías podría proporcionar unos mejores fundamentos para la matemática.