Definition 7.44.
The category of analytic stacks is defined to be
\[\AnStck := \Shv^+_{\tau_D}(\AnRing\catop).\]
Here the superscript \(+\) denotes the further congruence localization of Construction 7.32, not merely sheafification for the \(D\)-topology. In the light setting all sites and colimit constructions are understood with the corresponding countability restrictions.