1: \begin{definition}[Perfect modules] 

2: Let $X$ be an $E_2$-spectral algebraic space. 

3:   As usual, we denote by $\operatorname{Perf}(X)$ the full subcategory of

4:   $\mathcal{O}_X$-modules consisting of those $\mathcal{O}_X$-modules which

5:   locally lie in the thick subcategory generated by the structure sheaf.

6:   Equivalently, $\operatorname{Perf}(-)$ is right Kan extended from its value on

7:   affines, and on an affine $X$, so $X=\operatorname{Spec}^{et}(A)$ for an

8:   $E_2$-ring $A$, we have $\operatorname{Perf}(X)=\operatorname{Perf}(A)$.  (The

9:   equivalence of these two descriptions of $\operatorname{Perf}(X)$ follows from

10:   \'etale descent for perfect complexes on $E_2$-rings, for which see

11:   \cite[Theorem 5.4, Prop. 6.21]{DAGXI}.)  

12:   

13:  Given $X$,  the object $\operatorname{Perf}(X)$ is then a monoidal

14:  $\infty$-category.  More specifically, it is an associative algebra object in

15:  the symmetric monoidal $\infty$-category $\operatorname{Cat}_{\mathrm{perf}}$ of small idempotent-complete stable $\infty$-categories with Lurie's tensor product.  It further has the property of being \emph{rigid}: every object is both left and right dualizable.  This is obvious by reduction to the affine case.

16: \end{definition}