1: \begin{abstract} \emph{Spectral Mackey functors} are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable $\infty$-category, and we use this to show that universal examples of these objects are given by algebraic $K$-theory.

2: 

3: More importantly, we introduce the \emph{unfurling} of certain families of Waldhausen $\infty$-categories bound together with suitable adjoint pairs of functors; this construction completely solves the homotopy coherence problem that arises when one wishes to study the algebraic $K$-theory of such objects as spectral Mackey functors.

4: 

5: Finally, we employ this technology to lay the foundations of equivariant stable homotopy theory for profinite groups; the lack of such foundations has been a serious impediment to progress on the conjectures of Gunnar Carlsson. We also study fully functorial versions of $A$-theory, upside-down $A$-theory, and the algebraic $K$-theory of derived stacks.

6: \end{abstract}

7: