Couvre les propriétés et les structures des catégories de modèles, en mettant l'accent sur les factorisations, les structures de modèles et l'homotopie des cartes continues.
Introduit le degré de liaison quadratique dans la théorie motivienne des nœuds, couvrant les bases de la théorie des nœuds, la géométrie algébrique et la théorie des intersections.