1: \begin{definition}

2: A \emph{derived $t$-analytic scheme} is a scheme for the geometry $\DAff^t_R$ in the sense

3: of Lurie \cite{Lurie-DAG-V}, Definition 2.3.9. More precisely, it is a $\DAff^t_R$-structured

4: $\infty$-topos $(\Xc,\Oc_\Xc)$ that is covered by affine $\DAff^t_R$-schemes

5: (representable ones).

6: By \cite{Lurie-DAG-V}, Theorem 2.4.1, a scheme corresponds to an $\infty$-stack

7: $X\in \Shv(\DAlg^t_R,\tau_{\Rat},\Sc)$ that is locally isomorphic to a representable

8: stack $\Mb(A):=\Map_{\DAlg^t_R}(A,\_)$.

9: %for the usual topology. An \emph{\'etale (resp. pro-\'etale) Artin derived $t$-analytic stack} is

10: %an $\infty$-stack $X\in \Shv(\DAlg^t_R,\tau_{et},\Sc)$ (resp $X\in \Shv(\DAlg^t_R,\tau_{pro-et},\Sc)$)

11: %that can be locally written for the \'etale (resp. pro-\'etale) topology as a smooth quotient of

12: %a representable $\infty$-groupoid $\Mb(A_\bullet)$ associated to a cosimplicial derived analytic

13: %algebra.

14: \end{definition}

15: