TY - RPRT TI - The prismatization of $p$-adic formal schemes AU - Bhargav Bhatt AU - Jacob Lurie PY - 2022 UR - https://arxiv.org/abs/2201.06124 ID - 2201.06124 ER -