A stable $\mathrm{\infty }$-category for equivariant $KK$-theory

For a countable group $G$ we construct a small, idempotent complete, symmetric monoidal, stable $\mathrm{\infty }$-category ${\mathrm{K}\mathrm{K}}_{\mathrm{s}\mathrm{e}\mathrm{p}}^G$ whose homotopy category recovers the triangulated equivariant Kasparov category of separable $G$-$C^{\ast }$-algebras, and exhibit its universal property. Likewise, we consider an associated presentably symmetric monoidal, stable $\mathrm{\infty }$-category ${\mathrm{K}\mathrm{K}}^G$ which receives a symmetric monoidal functor ${\mathrm{k}\mathrm{k}}^G$ from possibly non-separable $G$-$C^{\ast }$-algebras and discuss its universal property. In addition to the symmetric monoidal structures, we construct various change-of-group functors relating these KK-categories for varying $G$. We use this to define and establish key properties of a (spectrum valued) equivariant, locally finite $K$-homology theory on proper and locally compact $G$-topological spaces, allowing for coefficients in arbitrary $G$-$C^{\ast }$-algebras. Finally, we extend the functor ${\mathrm{k}\mathrm{k}}^G$ from $G$-$C^{\ast }$-algebras to $G$-$C^{\ast }$-categories. These constructions are key in a companion paper about a form of equivariant Paschke duality and assembly maps.