Niklas Stelzer:

§2 Dieudonné complexes 2/2

Some homological algebra.
Define Dieudonné complexes of Cartier type (Definition 2.4.1) and discuss Theorem 2.4.2.  define completion of Dieudonné complexes (Construction 2.5.1) and strictness (Definition 2.5.4). Prove Proposition 2.6.5 in the particular case of W(M) ∗ for M∗ saturated (without mentioning strict Dieudonné towers). Cover §2.7 and §2.8.