He united infinitely prolonged differential equations into a category [7] whose objects, called diffieties (= differential varieties), are studied in the framework of what he called secondary calculus (by analogy with secondary quantization) [8], [9].