{"id":"arxiv/2606.02269","url":"https://arxiv.org/abs/2606.02269","tags":["math.CT","math-ph","math.QA"],"score":0,"title":"A Cohesive $\\infty$-Topos with a Quantum Modality from Finite-Dimensional $C^{*}$-Algebras","domain":"math.CT","source":"arxiv","authors":["Joey Woo"],"reviews":0,"subject":"math.CT","summary":"We construct a cohesive $\\infty$-topos $\\mathbf{H}_{\\mathbb{Q}}$ equipped with a \\emph{quantum modality} -- an idempotent product-preserving comonad $Q^{\\diamond}$ with right adjoint $Q_{\\bullet}$ satisfying the Beck--Chevalley compatibility conditions with the cohesive structure $(Π,\\flat,\\sharp)$. The model is the functor $\\infty$-topos $\\operatorname{Fun}(\\mathbf{C}^{*}\\mathbf{Alg}_{\\mathrm{fd}},\\; \\mathbf{H}_{\\mathrm{sm}})$, where $\\mathbf{H}_{\\mathrm{sm}}$ is the smooth cohesive $\\infty$-topos and $\\mathbf{C}^{*}\\mathbf{Alg}_{\\mathrm{fd}}$ is the category of finite-dimensional…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-01","reactions":{}}