The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.09467
curl -X POST /api/v1/records/arxiv/2606.09467/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.09467/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'