Comparison of prismatic cohomology and derived de Rham cohomology
We establish a comparison isomorphism between prismatic cohomology and derived de Rham cohomology respecting various structures, such as their Frobenius actions and filtrations. As an application, when is a proper smooth formal scheme over with being a -adic field, we improve Breuil--Caruso's theory on comparison between torsion crystalline cohomology and torsion étale cohomology.