Implicó relaciones entre la teoría de las categorías y la lógica matemática, y también (como discusión de alto nivel, organizativa) entre la teoría de las categorías y la informática teórica basada en la teoría de tipos.