The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi

Joey Woo

arxiv: 2606.09467 · v1 · pith:CPBGG3WNnew · submitted 2026-06-08 · 🧮 math.CT · math-ph· math.MP· math.OA· math.QA

The Degeneracy of the Centre Comonad Model and the Precomposition Obstruction for Quantum Modalities on Presheaf Topoi

Joey Woo This is my paper

Pith reviewed 2026-06-27 14:04 UTC · model grok-4.3

classification 🧮 math.CT math-phmath.MPmath.OAmath.QA

keywords centre comonadpresheaf toposquantum modalitylinear logicdegeneracyprecompositionSeely isomorphismDay convolution

0 comments

The pith

The centre comonad sends representables of non-commutative algebras to the empty presheaf and collapses linear logic to classical logic.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper diagnoses the degeneracy in the centre comonad model for a cohesive linear infinity-topos. It proves that the comonad maps the representable sheaf of any simple non-commutative algebra to the empty presheaf, leaving the state space empty. The Day convolution on the classical core is shown to be cartesian, which makes the Seely isomorphism hold trivially and reduces the linear logic to classical cartesian logic. The root structural cause is isolated: any coreflective precomposition comonad degenerates whenever the opposite of the classical core is monoidally equivalent to a cartesian monoidal category. The conclusion is that non-degenerate quantum modalities require construction without precomposition.

Core claim

The centre comonad annihilates all non-commutative algebras by sending their representable sheaves to the empty presheaf and empties their state spaces. On the classical core the Day convolution is cartesian, so the Seely isomorphism holds trivially and the linear logic collapses. This degeneracy occurs for any coreflective precomposition comonad once the opposite of the classical core is monoidally equivalent to a cartesian monoidal category.

What carries the argument

The centre comonad, a coreflective precomposition comonad on the presheaf topos whose classical core opposite is monoidally equivalent to a cartesian monoidal category.

If this is right

The state space of any simple non-commutative algebra is empty under the centre comonad.
The Seely isomorphism holds trivially because Day convolution on the classical core is cartesian.
Linear logic collapses to classical cartesian logic.
Any coreflective precomposition comonad on a topos with the same monoidal property on its classical core will degenerate identically.
Non-degenerate quantum modalities on presheaf topoi must be built without precomposition.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Constructions that avoid precomposition entirely may need to be explored to obtain usable quantum modalities.
The obstruction may apply to other attempts to internalize quantum structure via comonads on presheaf topoi.
Checking whether the classical core opposite remains cartesian-equivalent in modified topos models could test the generality of the collapse.

Load-bearing premise

The modeling choice of using a coreflective precomposition comonad on a presheaf topos whose classical core opposite is monoidally equivalent to a cartesian monoidal category.

What would settle it

An explicit calculation showing a non-empty state space for the representable of a simple non-commutative algebra under the centre comonad, or a construction of a non-degenerate quantum modality that still uses precomposition on such a topos.

read the original abstract

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 classical core is cartesian, forcing the Seely isomorphism to hold trivially and collapsing the linear logic. We isolate the structural reason behind this collapse: whenever the opposite of the classical core is monoidally equivalent to a cartesian monoidal category, any coreflective precomposition comonad will exhibit the same degeneracy. We conclude that a non-degenerate quantum modality must be constructed without precomposition, and we briefly discuss possible directions.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper cleanly diagnoses why the centre comonad model degenerates by proving the comonad kills non-commutative algebras and tracing it to the precomposition structure.

read the letter

The main point is that the centre comonad model is degenerate for a structural reason: it sends the representable of a simple non-commutative algebra to the empty presheaf, so the state space vanishes, and Day convolution on the classical core is cartesian, which makes the Seely isomorphism hold trivially and collapses the linear logic to classical. The paper isolates the general cause as any coreflective precomposition comonad on a presheaf topos whose classical core opposite is monoidally equivalent to a cartesian monoidal category.

This is new. The explicit proofs for the annihilation step and the isolation of the precomposition obstruction as the load-bearing feature go beyond the prior literature that just flagged the open problem.

It does the job of giving a complete negative diagnosis with clear steps and a short discussion of directions that avoid precomposition. The argument uses standard category theory tools without circularity or free parameters.

The soft spots are limited. The central claims rest on the modeling choice of a coreflective precomposition comonad, but the paper shows why that choice forces degeneracy rather than assuming it away. Without line-by-line checking of the derivations I cannot confirm every detail of the Day convolution claim, but nothing in the structure looks inconsistent or under-supported at the level described.

This is for people working on cohesive topos theory and categorical quantum logic who need to know why one concrete model fails. It is a useful clarification of an open problem and deserves a serious referee.

Referee Report

0 major / 1 minor

Summary. The paper claims to provide a complete diagnosis of the degeneracy in the centre comonad model for quantum modalities on presheaf topoi. It proves that the centre comonad sends the representable sheaf of a simple non-commutative algebra to the empty presheaf (hence empty state space for such algebras). It further proves that Day convolution on the classical core is cartesian, forcing the Seely isomorphism to hold trivially and collapsing the associated linear logic to classical cartesian logic. The structural obstruction is isolated: any coreflective precomposition comonad on a presheaf topos whose classical core^op is monoidally equivalent to a cartesian monoidal category will exhibit the same degeneracy. The conclusion is that non-degenerate quantum modalities must be constructed without using precomposition.

Significance. If the results hold, this work is significant for providing a rigorous, parameter-free diagnosis of why the first concrete cohesive linear ∞-topos fails to support quantum modalities, using standard category-theoretic tools. It isolates a general obstruction that rules out an entire class of constructions, thereby guiding future attempts at non-degenerate models. The explicit proofs of the two central claims (centre comonad action on representables and cartesianness of Day convolution) and the general structural statement constitute a falsifiable contribution to the field.

minor comments (1)

The abstract and introduction could benefit from a brief pointer to the specific theorem numbers establishing the two main proofs (centre comonad on representables and Day convolution cartesianness) to aid navigation.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the results, and recommendation to accept. The report correctly identifies the key contributions: the explicit proofs of degeneracy for the centre comonad on representables, the cartesianness of Day convolution on the classical core, and the general structural obstruction for coreflective precomposition comonads.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper's central results consist of direct proofs that the centre comonad maps representables of simple non-commutative algebras to the empty presheaf and that Day convolution on the classical core is cartesian (forcing trivial Seely isomorphism). The general obstruction is isolated as a structural consequence of the monoidal equivalence assumption on the classical core^op, using standard category theory without any reduction to fitted parameters, self-definitional loops, or load-bearing self-citations. The modeling choice is stated explicitly as an assumption rather than derived from the target claim. All steps are presented as independent mathematical arguments.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests entirely on standard axioms of category theory, topos theory, and monoidal category theory with no free parameters, ad-hoc axioms, or invented entities introduced.

axioms (1)

standard math Standard axioms of category theory, topos theory, and monoidal categories (including Day convolution and comonad definitions)
Invoked throughout the diagnosis of the centre comonad and Seely isomorphism.

pith-pipeline@v0.9.1-grok · 5716 in / 1397 out tokens · 31948 ms · 2026-06-27T14:04:51.126219+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 1 canonical work pages · 1 internal anchor

[1]

Woo,A Cohesive∞-Topos with a Quantum Modality from Finite-Dimensional C ∗-Algebras, 2025

J. Woo,A Cohesive∞-Topos with a Quantum Modality from Finite-Dimensional C ∗-Algebras, 2025

2025
[2]

Lurie,Higher Topos Theory, Princeton University Press, 2009

J. Lurie,Higher Topos Theory, Princeton University Press, 2009. 8

2009
[3]

Lurie,Higher Algebra,http://www.math.harvard.edu/~lurie/papers/HA

J. Lurie,Higher Algebra,http://www.math.harvard.edu/~lurie/papers/HA. pdf, 2017

2017
[4]

Differential cohomology in a cohesive infinity-topos

U. Schreiber,Differential cohomology in a cohesive∞-topos, arXiv:1310.7930, 2013

work page internal anchor Pith review Pith/arXiv arXiv 2013
[5]

Benton,A mixed linear and non-linear logic: proofs, terms and models, CSL 1994, LNCS 933, pp

N. Benton,A mixed linear and non-linear logic: proofs, terms and models, CSL 1994, LNCS 933, pp. 121–135

1994
[6]

Day,On closed categories of functors, Reports of the Midwest Category Sem- inar IV, LNM 137, pp

B. Day,On closed categories of functors, Reports of the Midwest Category Sem- inar IV, LNM 137, pp. 1–38, Springer, 1970

1970
[7]

Selinger,Towards a quantum programming language, Math

P. Selinger,Towards a quantum programming language, Math. Struct. Comput. Sci. 14(4):527–586, 2004

2004
[8]

Takesaki,Theory of Operator Algebras I, Springer, 1979

M. Takesaki,Theory of Operator Algebras I, Springer, 1979. 9

1979

[1] [1]

Woo,A Cohesive∞-Topos with a Quantum Modality from Finite-Dimensional C ∗-Algebras, 2025

J. Woo,A Cohesive∞-Topos with a Quantum Modality from Finite-Dimensional C ∗-Algebras, 2025

2025

[2] [2]

Lurie,Higher Topos Theory, Princeton University Press, 2009

J. Lurie,Higher Topos Theory, Princeton University Press, 2009. 8

2009

[3] [3]

Lurie,Higher Algebra,http://www.math.harvard.edu/~lurie/papers/HA

J. Lurie,Higher Algebra,http://www.math.harvard.edu/~lurie/papers/HA. pdf, 2017

2017

[4] [4]

Differential cohomology in a cohesive infinity-topos

U. Schreiber,Differential cohomology in a cohesive∞-topos, arXiv:1310.7930, 2013

work page internal anchor Pith review Pith/arXiv arXiv 2013

[5] [5]

Benton,A mixed linear and non-linear logic: proofs, terms and models, CSL 1994, LNCS 933, pp

N. Benton,A mixed linear and non-linear logic: proofs, terms and models, CSL 1994, LNCS 933, pp. 121–135

1994

[6] [6]

Day,On closed categories of functors, Reports of the Midwest Category Sem- inar IV, LNM 137, pp

B. Day,On closed categories of functors, Reports of the Midwest Category Sem- inar IV, LNM 137, pp. 1–38, Springer, 1970

1970

[7] [7]

Selinger,Towards a quantum programming language, Math

P. Selinger,Towards a quantum programming language, Math. Struct. Comput. Sci. 14(4):527–586, 2004

2004

[8] [8]

Takesaki,Theory of Operator Algebras I, Springer, 1979

M. Takesaki,Theory of Operator Algebras I, Springer, 1979. 9

1979