A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems

Hisham Sati, Urs Schreiber

Parameterized stable homotopy theory organizes local systems of spectra over homotopy types, governed by a "yoga" of six functors. To provide semantics for the recently developed L…