A remark on crystalline cohomology

We propose a new approach to crystalline cohomology based on the observation that one can lift smooth algebras uniquely “up to coherent homotopy.”