§5: Extension to schemes

The de Rham–Witt complex as a sheaf.
The main goal is to prove Theorem 5.2.2 and Proposition 5.2.4. In par?ticular, cover §5.1. As time permits, discuss §5.3 (étale behaviour)