1: \begin{definition}[Quasi-coherent sheaves]

2: Let $A$ be an $E_2$-ring and let $X = \spec^{et}(A)$ be the associated

3: $E_2$-spectral algebraic space. 

4: Given an $A$-module $M$, one obtains a sheaf of $\mathcal{O}_X$-modules 

5: on $X_{et}$ which sends an \'etale $A$-algebra $A'$ to $A' \otimes_A M$.  

6: Now let $X$ be an arbitrary $E_2$-spectral algebraic space. 

7: A \emph{quasi-coherent sheaf} on $X$ consists of the datum of an

8: $\mathcal{O}_X$-module on $X_{et}$ which restricts on each affine to a sheaf of

9: the above form. 

10: We let $\mathrm{QCoh}(X)$ denote the presentably monoidal, stable $\infty$-category

11: of quasi-coherent sheaves on $X$. Using general results, cf.\ 

12: \cite[Theorem 10.3.2.1]{SAG},\footnote{The results are stated assuming an

13: $E_\infty$-structure, but the arguments require only an $E_2$-structure.} it follows that (since $X$ is always assumed qcqs),

14: then $\mathrm{QCoh}(X)$ is compactly

15: generated and the compact objects are precisely $\mathrm{Perf}(X)$. 

16: \end{definition}