Revisiting derived crystalline cohomology

Zhouhang Mao

We prove that the $\infty$-category of surjections of animated rings is projectively generated, introduce and study the notion of animated PD-pairs - surjections of animated rings…