For a smooth variety $X$ over a perfect field $k$ in characteristic $p$, an equivalence of category is established between the category of crystals on $X/W(k)$ and the category of $p$-adically nilpotent, integrable de Rham–Witt connections.
AMS 2000 Mathematics subject classification: Primary 14F30; 14F40