  We present a detailed overview of the construction of the A_inf-cohomology
theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt
and P. Scholze. We focus particularly on the p-adic analogue of the Cartier
isomorphism via relative de Rham--Witt complexes.
