Después se dedicó principalmente a la teoría de las categorías, siendo uno de los fundadores del campo.