  The goal is to construct three related "prismatization" functors from the
category of p-adic formal schemes to that of formal stacks. This should provide
a good category of coefficients for prismatic cohomology in the spirit of
F-gauges. In this article we define and study the three versions of the
prismatization of the formal spectrum of the ring of p-adic integers.
