{"id":"arxiv/2606.09467","url":"https://arxiv.org/abs/2606.09467","tags":["math.CT","math-ph","math.OA","math.QA"],"score":0,"title":"The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi","domain":"math.CT","source":"arxiv","authors":["Joey Woo"],"reviews":0,"subject":"math.CT","summary":"The centre comonad model provided the first concrete cohesive linear $\\infty$-topos, settling an open problem of Schreiber. However, the model is degenerate: the quantum modality annihilates all non-commutative algebras, and the associated linear logic collapses to classical cartesian logic. In this paper we give a complete mathematical diagnosis of this degeneracy. We prove that the centre comonad sends the representable sheaf of a simple non-commutative algebra to the empty presheaf, and that the state space of any such algebra is empty. We then prove that the Day convolution on the…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-08","reactions":{}}