Lo irónico es que no es posible introducirse en la Teoría de Categorías sin un sólido conocimiento de la Teoría de Conjuntos y de ciertas otras ramas de la Matemática.