Along with Fabien Morel, Voevodsky introduced a homotopy theory for schemes.
Cùng với Fabien Morel, Voevodsky đưa ra một lý thuyết đồng luân cho các giản đồ.