{"id":"arxiv/2604.05671","url":"https://arxiv.org/abs/2604.05671","tags":["math.AT","math.CT","quant-ph"],"score":0,"title":"A Global Model Structure for $\\mathbb{K}$-Linear $\\infty$-Local Systems","domain":"math.AT","source":"arxiv","authors":["Hisham Sati","Urs Schreiber"],"reviews":0,"subject":"math.AT","summary":"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 Linear Homotopy Type Theory (LHoTT), good model categories of these spectra are required, preferably monoidal with respect to the external smash product. We focus on the case of parameterized $H\\mathbb{K}$-module spectra ($\\infty$-local systems), motivated by recent applications of parameterized homotopy to topological quantum computing. While traditionally treated via dg-categories, we leverage combinatorial model…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-07","reactions":{}}