pith. sign in

arxiv: 2606.02269 · v2 · pith:IQ4LY2EEnew · submitted 2026-06-01 · 🧮 math.CT · math-ph· math.MP· math.QA

A Cohesive infty-Topos with a Quantum Modality from Finite-Dimensional C^(*)-Algebras

Joey Woo This is my paper

Pith reviewed 2026-06-28 11:49 UTC · model grok-4.3

classification 🧮 math.CT math-phmath.MPmath.QA
keywords cohesive infinity-toposquantum modalityC*-algebrasdecoherenceGelfand dualityDay convolutionlinear homotopy type theoryno-cloning theorem
0
0 comments X

The pith

Finite-dimensional C*-algebras yield a cohesive infinity-topos equipped with a quantum modality that models decoherence via the center functor.

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

The paper constructs the infinity-topos as the functor category from finite-dimensional C*-algebras into the smooth cohesive infinity-topos, lifting cohesion pointwise and inducing a Day convolution monoidal structure from the tensor product of algebras. It defines the quantum modality as the comonad given by precomposition with the center functor, proves this comonad is idempotent and product-preserving with a right adjoint, and verifies Beck-Chevalley compatibility with the cohesive modalities. The coalgebras for this comonad recover the topos of discrete classical field theories through Gelfand duality, and the construction supplies a concrete setting for cohesive linear homotopy type theory that includes a synthetic no-cloning theorem while interpreting the modality as decoherence.

Core claim

The topos Fun(C*Alg_fd, H_sm) carries a quantum modality Q^♦ obtained by precomposition with the centre functor; this yields an idempotent product-preserving strong monoidal comonad whose coalgebras are equivalent to Fun(FinSet^op, H_sm) and which satisfies the required compatibility with the lifted cohesive structure, thereby furnishing the first concrete model of cohesive linear homotopy type theory.

What carries the argument

The quantum modality Q^♦, the idempotent comonad induced by precomposition with the centre functor on finite-dimensional C*-algebras, which supplies the decoherence interpretation and ensures compatibility with cohesion and Day convolution.

If this is right

  • The coalgebras for the quantum modality recover the topos of discrete classical field theories via Gelfand duality.
  • A synthetic no-cloning theorem holds inside the resulting linear infinity-topos.
  • The cartesian linear-logic structure degenerates while the Day convolution structure supplies a non-degenerate affine model of multiplicative intuitionistic linear logic.
  • The construction supplies a concrete model of cohesive linear homotopy type theory.

Where Pith is reading between the lines

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

  • Varying the base category of algebras could produce modalities that capture additional quantum channels beyond pure decoherence.
  • The degeneration of cartesian structure versus the non-degenerate Day convolution suggests comparisons with other topos-theoretic models of quantum logic.
  • The restriction to finite-dimensional algebras leaves open whether an analogous construction exists for infinite-dimensional C*-algebras while preserving the comonad properties.

Load-bearing premise

The centre functor induces a comonad on the functor topos that is idempotent, product-preserving, strong monoidal with respect to Day convolution, and satisfies Beck-Chevalley conditions with the pointwise-lifted cohesive modalities.

What would settle it

An explicit computation on a pair of finite-dimensional C*-algebras showing that the induced endofunctor fails to be idempotent or that the Beck-Chevalley square for the lifted modalities does not commute would refute the construction.

read the original abstract

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 $(\Pi,\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 $C^{*}$-algebras with centre-preserving $*$-homomorphisms. Cohesion is lifted pointwise from $\mathbf{H}_{\mathrm{sm}}$; the quantum comonad is precomposition with the centre functor. We endow the topos with the Day convolution monoidal structure $\otimes_{\mathrm{Day}}$ induced by the tensor product of $C^{*}$-algebras and prove that $Q^{\diamond}$ is a strong monoidal comonad. The category of $Q^{\diamond}$-coalgebras is equivalent, via Gelfand duality, to the topos $\operatorname{Fun}(\mathbf{FinSet}^{\mathrm{op}},\mathbf{H}_{\mathrm{sm}})$ of discrete classical field theories. The comonad is interpreted as decoherence. This yields a cohesive linear $\infty$-topos in which the cartesian linear-logic structure degenerates, while the Day convolution provides a non-degenerate affine model of multiplicative intuitionistic linear logic. We also prove a synthetic no-cloning theorem and discuss the limits of the centre modality for representing quantum channels. This work provides the first rigorous instance of the cohesive linear framework and settles the open problem of finding a concrete model for cohesive linear homotopy type theory.

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.

Referee Report

0 major / 3 minor

Summary. The manuscript constructs the cohesive ∞-topos H_Q as the functor ∞-topos Fun(C*Alg_fd, H_sm), where H_sm is the smooth cohesive ∞-topos. It defines the quantum modality Q^♦ as the comonad given by precomposition with the centre functor Z on the category of finite-dimensional C*-algebras equipped with centre-preserving *-homomorphisms. The paper claims to prove that Q^♦ is an idempotent product-preserving comonad that is strong monoidal with respect to the Day convolution monoidal structure induced by the C*-tensor product, satisfies Beck-Chevalley compatibility conditions with the pointwise-lifted cohesive modalities (Π, ♭, ♯), and that the category of Q^♦-coalgebras is equivalent via Gelfand duality to Fun(FinSet^op, H_sm). It further claims a synthetic no-cloning theorem, interprets Q^♦ as decoherence, and positions the model as the first rigorous instance of the cohesive linear framework in which cartesian linear-logic structure degenerates while Day convolution supplies a non-degenerate affine model of multiplicative intuitionistic linear logic.

Significance. If the central claims hold, this supplies the first concrete model for cohesive linear homotopy type theory and settles the open problem of exhibiting such a model. The construction is a direct and natural application of the functor topos and the idempotence of the centre functor; the equivalence of coalgebras with classical discrete field theories via Gelfand duality is clean. The synthetic no-cloning theorem and the explicit treatment of the monoidal structure (Day convolution versus cartesian) are genuine strengths that allow the work to connect cohesive ∞-topos theory with quantum information in a synthetic setting.

minor comments (3)
  1. [Introduction] The introduction asserts that 'multiple proofs' are supplied (cohesion lifting, comonad properties, coalgebra equivalence, no-cloning) but does not include a roadmap that maps each claim to its section or subsection; this would improve readability.
  2. [Quantum comonad and Day convolution] The definition of the Day convolution monoidal structure is introduced in the section on the quantum comonad without an explicit reference to the standard definition in the literature on enriched functor categories; a one-sentence recall would aid readers.
  3. [Synthetic no-cloning theorem] The statement of the synthetic no-cloning theorem appears only after its proof sketch; an explicit formulation of the theorem (including the precise type-theoretic statement) before the argument would make the claim easier to locate and verify.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and insightful report, which correctly summarizes the main results and highlights the significance of providing the first concrete model of a cohesive linear ∞-topos. The recommendation for minor revision is noted; however, the report contains no specific major comments requiring point-by-point response or manuscript changes.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper defines H_Q explicitly as Fun(C*Alg_fd, H_sm) and Q^♦ as precomposition with the centre functor Z. Idempotence of Q^♦ follows immediately from Z(Z(A))=Z(A) and pointwise operations; product preservation is likewise immediate from the functor category. Strong monoidality, Beck-Chevalley compatibility, and the Gelfand-duality equivalence to Fun(FinSet^op, H_sm) are stated as proven consequences of this direct construction. No step reduces a claimed result to a fitted parameter, self-referential definition, or load-bearing self-citation; the derivation chain is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The construction rests on standard axioms of infinity-topos theory and cohesion; the quantum modality is defined rather than postulated as an independent entity.

axioms (3)
  • standard math The smooth cohesive infinity-topos H_sm exists with modalities (Pi, flat, sharp) satisfying the usual axioms.
    Lifted pointwise to define H_Q.
  • domain assumption Finite-dimensional C*-algebras with centre-preserving *-homomorphisms form a category suitable for the functor topos construction.
    Base category for the model.
  • domain assumption The centre functor induces an idempotent product-preserving comonad satisfying Beck-Chevalley conditions.
    Central to the quantum modality definition.
invented entities (1)
  • Quantum modality Q^♦ no independent evidence
    purpose: To encode decoherence as a comonad in the topos.
    Constructed via precomposition with the centre functor; no independent falsifiable evidence supplied beyond the construction itself.

pith-pipeline@v0.9.1-grok · 5891 in / 1415 out tokens · 26594 ms · 2026-06-28T11:49:26.912629+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 2 canonical work pages · 1 internal anchor

  1. [1]

    Abramsky, B

    S. Abramsky, B. Coecke,A categorical semantics of quantum protocols, Pro- ceedings of LiCS 2004, pp. 415–425

    2004

  2. [2]

    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

  3. [3]

    Coecke, D

    B. Coecke, D. Pavlović,Quantum measurements without sums, inMathematics of Quantum Computing and Technology, pp. 559–596, Chapman and Hall, 2007

    2007

  4. [4]

    Day,On closed categories of functors, Reports of the Midwest Category Seminar IV, LNM 137, pp

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

    1970

  5. [5]

    Heunen, N.P

    C. Heunen, N.P. Landsman, B. Spitters,A topos for algebraic quantum theory, Comm. Math. Phys. 291(1):63–110, 2009

    2009

  6. [6]

    Jacobs,Categorical Logic and Type Theory, Studies in Logic and the Foun- dations of Mathematics 141, Elsevier, 1999

    B. Jacobs,Categorical Logic and Type Theory, Studies in Logic and the Foun- dations of Mathematics 141, Elsevier, 1999

    1999

  7. [7]

    P.T.Johnstone,Sketches of an Elephant: A Topos Theory Compendium, Oxford University Press, 2002

    2002

  8. [8]

    Lurie,Higher Topos Theory, Princeton University Press, 2009

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

    2009

  9. [9]

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

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

    2017

  10. [10]

    Rijke, M

    E. Rijke, M. Shulman, B. Spitters,Modalities in homotopy type theory, Logical Methods in Computer Science, 16(1), 2020

    2020

  11. [11]

    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

  12. [12]

    Selinger,Towards a quantum programming language, Mathematical Struc- tures in Computer Science 14(4):527–586, 2004

    P. Selinger,Towards a quantum programming language, Mathematical Struc- tures in Computer Science 14(4):527–586, 2004

    2004

  13. [13]

    Palmer,Banach algebras and the general theory of∗-algebras, Vol

    T.W. Palmer,Banach algebras and the general theory of∗-algebras, Vol. I, Cambridge University Press, 1994. 23

    1994

  14. [14]

    Takesaki,Theory of Operator Algebras I, Springer, 1979

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

    1979

  15. [15]

    Woo,Research Proposal: Towards a Non-Degenerate Cohesive Linear∞- Topos, Zenodo preprint, 2026.DOI:10.5281/zenodo.20442810 24

    J. Woo,Research Proposal: Towards a Non-Degenerate Cohesive Linear∞- Topos, Zenodo preprint, 2026.DOI:10.5281/zenodo.20442810 24

    work page doi:10.5281/zenodo.20442810 2026