pith. sign in

arxiv: 2311.11035 · v1 · submitted 2023-11-18 · 🪐 quant-ph · math-ph· math.AT· math.CT· math.MP

Quantum and Reality

Hisham Sati , Urs Schreiber This is my paper

Pith reviewed 2026-05-24 05:41 UTC · model grok-4.3

classification 🪐 quant-ph math-phmath.ATmath.CTmath.MP
keywords linear homotopy type theoryHermitian formsequivariant homotopy theoryself-dual objectsquantum information theoryunitarityKR-theory
0
0 comments X

The pith

Considering complex numbers as a conjugation monoid in Z/2-equivariant real types makes Hilbert spaces self-dual objects.

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

The paper establishes that Hermiticity arises naturally when complex numbers are treated as a monoid internal to Z/2-equivariant real linear types via conjugation. This makes finite-dimensional Hilbert spaces self-dual among internally-complex Real modules. The only required extra datum is a negative unit term of tensor unit type, which exists in LHoTT and corresponds to an element in the infinity-group of units of the sphere spectrum. If the construction holds, quantum programming languages embedded in LHoTT can encode and verify unitarity of gates and channels directly from this structure. The same setup connects to the classification of topological quantum states by twisted equivariant KR-theory.

Core claim

When the complex numbers are considered as a monoid internal to Z/2-equivariant real linear types, via complex conjugation, then finite-dimensional Hilbert spaces become self-dual objects among internally-complex Real modules. This construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type, which is constructible in LHoTT where it interprets as an element of the infinity-group of units of the sphere spectrum.

What carries the argument

The monoid structure on the complex numbers internal to Z/2-equivariant real linear types induced by complex conjugation, which produces self-duality for Hilbert spaces.

Load-bearing premise

That viewing the complex numbers as a monoid internal to Z/2-equivariant real linear types via conjugation is the appropriate structure to produce Hermitian adjoints.

What would settle it

An explicit computation in LHoTT of the induced form on a low-dimensional Hilbert space such as the two-dimensional complex vector space that fails to recover the standard Hermitian inner product.

read the original abstract

Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental characteristics: (1) parameterized linearity and (2) metricity. The first is naturally addressed by dependent-linearly typed languages such as Proto-Quipper or, following our recent observations: Linear Homotopy Type Theory (LHoTT). The second point has received much attention (only) in the form of semantics in "dagger-categories", where operator adjoints are axiomatized but their specification to Hermitian adjoints still needs to be imposed by hand. We describe a natural emergence of Hermiticity which is rooted in principles of equivariant homotopy theory, lends itself to homotopically-typed languages and naturally connects to topological quantum states classified by twisted equivariant KR-theory. Namely, we observe that when the complex numbers are considered as a monoid internal to Z/2-equivariant real linear types, via complex conjugation, then (finite-dimensional) Hilbert spaces do become self-dual objects among internally-complex Real modules. The point is that this construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type. We observe that just such a term is constructible in LHoTT, where it interprets as an element of the infinity-group of units of the sphere spectrum, tying the foundations of quantum theory to homotopy theory. We close by indicating how this allows for encoding (and verifying) the unitarity of quantum gates and of quantum channels in quantum languages embedded into LHoTT.

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

2 major / 2 minor

Summary. The manuscript claims that viewing the complex numbers as a monoid internal to Z/2-equivariant real linear types via complex conjugation makes finite-dimensional Hilbert spaces self-dual objects among internally-complex Real modules. This construction of Hermitian forms requires of the ambient linear type theory nothing further than a negative unit term of tensor unit type, which is constructible in LHoTT as an element of the units of the sphere spectrum. The authors indicate that this ties foundations of quantum theory to homotopy theory and allows encoding and verifying unitarity of quantum gates and channels in LHoTT-embedded quantum languages, with a connection to twisted equivariant KR-theory.

Significance. If the central construction holds, the work supplies a derivation of Hermitian adjoints from equivariant homotopy principles inside LHoTT rather than by axiomatic imposition, which could reduce ad-hoc structure in linear type theories for quantum information. The explicit link to the sphere spectrum units and KR-theory classification of topological states is a concrete strength for verifiable quantum programming.

major comments (2)
  1. [Abstract / central claim] Abstract / central claim: the assertion that the negative unit term alone, together with the equivariant monoid structure, produces the Hermitian adjoint (self-duality map) without additional data on the linear structure needs an explicit step-by-step derivation showing how the induced pairing satisfies sesquilinearity and the dagger axioms; the provided description equates abstract self-duality in the internal module category with the metric structure for quantum states but supplies no check of these properties.
  2. [Section describing the monoid structure] Section describing the monoid structure: the choice of Z/2-equivariant monoid on ℂ via conjugation is presented as natural, yet it is not shown why this structure is canonical or sufficient to capture Hermitian adjoints without hidden assumptions on the Real module category or the KR-theory connection; an explicit comparison to other possible internal monoid structures would be required to support the claim that nothing further is needed.
minor comments (2)
  1. [Introduction / notation] Clarify the precise definition of 'internally-complex Real modules' and 'negative unit term of tensor unit type' at first use, with a forward reference to the LHoTT construction.
  2. [Closing discussion] The connection to twisted equivariant KR-theory is mentioned but not developed; a brief indication of how the self-dual objects relate to the classification would strengthen the closing discussion.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful review and constructive suggestions. The comments correctly identify places where the manuscript would benefit from greater explicitness in derivations and comparisons. We address each major comment below and will revise the manuscript accordingly to strengthen the presentation while preserving the core claims.

read point-by-point responses

  1. Referee: [Abstract / central claim] Abstract / central claim: the assertion that the negative unit term alone, together with the equivariant monoid structure, produces the Hermitian adjoint (self-duality map) without additional data on the linear structure needs an explicit step-by-step derivation showing how the induced pairing satisfies sesquilinearity and the dagger axioms; the provided description equates abstract self-duality in the internal module category with the metric structure for quantum states but supplies no check of these properties.

    Authors: We agree that an explicit verification is needed for clarity. The construction proceeds by defining the pairing on an internally-complex Real module V via the monoid multiplication m: ℂ ⊗ ℂ → ℂ (induced by conjugation) composed with the negative unit η: 1 → ℂ to produce the map V ⊗ V → 1 that is the internal hom adjoint. Sesquilinearity follows because the module action is linear in one variable and the conjugation in m supplies the required anti-linearity in the other; the dagger axioms (involutivity and compatibility with composition) hold by the unit and associativity laws of the monoid together with the defining property of the negative unit. In the revised manuscript we will insert a dedicated lemma containing this step-by-step calculation immediately after the central construction, confirming that no further data on the linear structure is required. revision: yes

  2. Referee: [Section describing the monoid structure] Section describing the monoid structure: the choice of Z/2-equivariant monoid on ℂ via conjugation is presented as natural, yet it is not shown why this structure is canonical or sufficient to capture Hermitian adjoints without hidden assumptions on the Real module category or the KR-theory connection; an explicit comparison to other possible internal monoid structures would be required to support the claim that nothing further is needed.

    Authors: We accept that an explicit comparison is warranted to establish canonicity. The conjugation monoid is the unique Z/2-equivariant monoid structure on ℂ that is compatible with the Real algebra structure (i.e., the fixed-point subalgebra is ℝ) and that reproduces the standard Hermitian form when evaluated on finite-dimensional modules; alternative structures, such as the trivial monoid or non-equivariant multiplications, fail to produce self-dual objects or to recover the twisted equivariant KR-theory classification. In revision we will add a short subsection comparing the conjugation monoid to these alternatives, showing that only the present choice yields the required self-duality map from the negative unit alone and maintains the link to KR-theory without additional assumptions on the module category. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained in equivariant homotopy observation

full rationale

The paper's core step is the mathematical observation that equipping complex numbers with a Z/2-equivariant monoid structure via conjugation yields self-dual Hilbert spaces among internally-complex Real modules, requiring only a negative unit term of tensor unit type. This is presented as following from principles of equivariant homotopy theory and is not shown to reduce to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation chain. While LHoTT is referenced as the ambient theory in which the negative unit term exists, the central claim about Hermitian self-duality is an independent observation rather than a tautology or renaming of prior results by the same authors. No equations or steps in the provided text exhibit the result being equivalent to its inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The paper relies on domain assumptions from equivariant homotopy theory and linear homotopy type theory rather than introducing new free parameters or invented entities. The main addition is the observation about the monoid structure leading to self-duality.

axioms (3)
  • domain assumption Z/2-equivariant real linear types form a suitable ambient category for internalizing complex numbers via conjugation
    This is the key setup for the monoid structure.
  • domain assumption LHoTT contains a negative unit term of tensor unit type
    This is stated as constructible in LHoTT and necessary for the Hermitian forms.
  • domain assumption Finite-dimensional Hilbert spaces are objects in the category of internally-complex Real modules
    The self-duality is claimed for these objects.

pith-pipeline@v0.9.0 · 5814 in / 1710 out tokens · 50273 ms · 2026-05-24T05:41:04.958446+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. A Global Model Structure for $\mathbb{K}$-Linear $\infty$-Local Systems

    math.AT 2026-04 unverdicted novelty 7.0

    A dedicated global model structure for K-linear ∞-local systems is constructed via simplicial chain complexes, monoidal for base 1-types under the external tensor product.

  2. Entanglement of Sections: The pushout of entangled and parameterized quantum information

    quant-ph 2023-09 unverdicted novelty 6.0

    The pushout of entangled and parameterized quantum information in monoidal categories yields the external tensor product on flat K-theory bundles.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages · cited by 2 Pith papers · 12 internal anchors

  1. [1]

    A categorical semantics of quantum protocols

    S. Abramsky and B. Coecke, A categorical semantics of quantum protocols , Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04), IEEE Computer Science Press (2004), [ arXiv:quant-ph/0402130 https://arxiv.org/abs/quant-ph/0402130], [ doi:10.1109/LICS.2004.1319636 https://doi.org/10.1109/LICS.2004.1319636]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1109/lics.2004.1319636 2004

  2. [2]

    Abstract Physical Traces

    S. Abramsky and B. Coecke, Abstract Physical Traces , Theory Appl. Categ. 14 6 (2005), 111-124, [ tac:14-06 http://www.tac.mta.ca/tac/volumes/14/6/14-06abs.html], [ arXiv:0910.3144 https://arxiv.org/abs/0910.3144]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  3. [3]

    M. Ando, A. Blumberg, D. Gepner, M. Hopkins, and C. Rezk, An -categorical approach to R -line bundles, R -module Thom spectra, and twisted R -homology , J. Topology 7 (2014) 869893, [ doi:10.1112/jtopol/jtt035 https://doi.org/10.1112/jtopol/jtt035], [ arXiv:1403.4325 https://arxiv.org/abs/1403.4325]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/jtopol/jtt035 2014

  4. [4]

    Atiyah, K-theory and Reality , Quarterly J

    M. Atiyah, K-theory and Reality , Quarterly J. Math. 17 (1966), 367-386, [ doi:10.1093/qmath/17.1.367 https://doi.org/10.1093/qmath/17.1.367]

    work page doi:10.1093/qmath/17.1.367 1966

  5. [5]

    Bak, Grothendieck Groups of Modules and Forms Over Commutative Orders , Amer

    A. Bak, Grothendieck Groups of Modules and Forms Over Commutative Orders , Amer. J. Math. 99 1 (1977), 107-120, [ jstor:2374010 https://www.jstor.org/stable/2374010], [ doi:10.2307/2374010 https://doi.org/10.2307/2374010]

    work page doi:10.2307/2374010 1977

  6. [6]

    Bass (notes by A

    H. Bass (notes by A. Roy), Lectures on Topics in Algebraic K-Theory , Tata Institute of Fundamental Research (1965), [ ncatlab.org/nlab/files/Bass-HyperbolicFunctor.pdf https://ncatlab.org/nlab/files/Bass-HyperbolicFunctor.pdf]

    work page 1965

  7. [7]

    Berndt, An introduction to symplectic geometry , Graduate Studies in Mathematics 26 , American Mathematical Society (2001), [ ams:gsm-26 https://bookstore.ams.org/gsm-26]

    R. Berndt, An introduction to symplectic geometry , Graduate Studies in Mathematics 26 , American Mathematical Society (2001), [ ams:gsm-26 https://bookstore.ams.org/gsm-26]

    work page 2001

  8. [8]

    Bourbaki, Topological Vector Spaces, Chapters 1–5 , Masson (1981), Springer, Berlin (2003), [ doi:10.1007/978-3-642-61715-7 https://doi.org/10.1007/978-3-642-61715-7]

    N. Bourbaki, Topological Vector Spaces, Chapters 1–5 , Masson (1981), Springer, Berlin (2003), [ doi:10.1007/978-3-642-61715-7 https://doi.org/10.1007/978-3-642-61715-7]

    work page doi:10.1007/978-3-642-61715-7 1981

  9. [9]

    M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information , Cambridge University Press (2000), [ ISBN:9780511976667 https://doi.org/10.1017/CBO9780511976667]

    work page doi:10.1017/cbo9780511976667 2000

  10. [10]

    B. Coecke, De-linearizing Linearity: Projective Quantum Axiomatics from Strong Compact Closure , Electronic Notes in Theoretical Computer Science 170 (2007), 49-72, [ doi:10.1016/j.entcs.2006.12.011 https://doi.org/10.1016/j.entcs.2006.12.011], [ quant-ph/0506134 https://arxiv.org/abs/quant-ph/0506134]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.entcs.2006.12.011 2007

  11. [11]

    M. C. Crabb, Z /2 -Homotopy Theory , Lond. Math. Soc. Lecture Notes 44 Cambridge University Press (1980), [ ark:/13960/t3jx7bg4w https://archive.org/details/zz2homotopytheor0000crab]

    work page 1980

  12. [12]

    Dold and D

    A. Dold and D. Puppe, Duality, Trace and Transfer , Proc. Steklov Inst. Math. 154 (1984), 85–103, [ maths.ed.ac.uk/ v1ranick/papers/doldpup2.pdf https://www.maths.ed.ac.uk/ v1ranick/papers/doldpup2.pdf]

    work page 1984

  13. [13]

    Eilenberg and G

    S. Eilenberg and G. M. Kelly, Closed Categories , in: Proceedings of the Conference on Categorical Algebra -- La Jolla 1965 , Springer, Berlin (1966), 421-562, [ doi:10.1007/978-3-642-99902-4 https://doi.org/10.1007/978-3-642-99902-4]

    work page doi:10.1007/978-3-642-99902-4 1965

  14. [14]

    Riley, E

    M. Riley, E. Finster, and D. R. Licata Synthetic Spectra via a Monadic and Comonadic Modality (2021), [ arXiv:2102.04099 https://arxiv.org/abs/2102.04099]

    work page arXiv 2021

  15. [15]

    Fiorenza, H

    D. Fiorenza, H. Sati, and U. Schreiber: The Character map in Nonabelian Cohomology: Twisted, Differential and Generalized , World Scientific, Singapore (2023), [ doi:10.1142/13422 https://doi.org/10.1142/13422 ], [ arXiv:2009.11909 https://arxiv.org/abs/2009.11909], [ ncatlab.org/schreiber/show/The+Character+Map https://ncatlab.org/schreiber/show/The+Char...

    work page doi:10.1142/13422 2023

  16. [16]

    Twisted equivariant K-theory with complex coefficients

    D. Freed, M. Hopkins, and C. Teleman, Twisted equivariant K-theory with complex coefficients , J. Topology 1 1 (2007), 16-44, [ doi:10.1112/jtopol/jtm001 https://doi.org/10.1112/jtopol/jtm001], [ arXiv:math/0206257 https://arxiv.org/abs/math/0206257]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/jtopol/jtm001 2007

  17. [17]

    P. Fu, K. Kishida, and P. Selinger, Linear Dependent Type Theory for Quantum Programming Languages , LICS ‘20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (2020), 440–453, [ arXiv:2004.13472 https://arxiv.org/abs/2004.13472]

    work page arXiv 2020

  18. [18]

    Heunen and J

    C. Heunen and J. Vicary, Categories for Quantum Theory , Oxford University Press (2019), [ ISBN:9780198739616 https://global.oup.com/academic/product/categories-for-quantum-theory-9780198739616], [ cs.ox.ac.uk/files/4551/cqm-notes.pdf https://www.cs.ox.ac.uk/files/4551/cqm-notes.pdf]

    work page 2019

  19. [19]

    A Homotopy Theory for Stacks

    S. Hollander, A homotopy theory for stacks , Israel J. Math. 163 1 (2008), 93-124, [ arXiv:math/0110247 https://arxiv.org/abs/math/0110247], [ doi:10.1007/s11856-008-0006-5 https://doi.org/10.1007/s11856-008-0006-5]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s11856-008-0006-5 2008

  20. [20]

    Huybrechts, Complex geometry: An introduction , Universitext, Springer, Berlin (2004), [ doi:10.1007/b137952 https://doi.org/10.1007/b137952]

    D. Huybrechts, Complex geometry: An introduction , Universitext, Springer, Berlin (2004), [ doi:10.1007/b137952 https://doi.org/10.1007/b137952]

    work page doi:10.1007/b137952 2004

  21. [21]

    Joyal and M

    A. Joyal and M. Tierney, Strong stacks and classifying spaces , in: Category Theory , Lecture Notes in Mathematics 1488 , Springer, Berlin (1991), 213-236, [ doi:10.1007/BFb0084222 https://doi.org/10.1007/BFb0084222]

    work page doi:10.1007/bfb0084222 1991

  22. [22]

    M. Karoubi, P \'e riodicit \'e de la K-th \'e orie hermitienne , in: Algebraic K-Theory III -- Hermitian K-Theory and Geometric Applications , Lecture Notes in Mathematics 343 (1973), 301-411, Springer, Berlin, [ doi:10.1007/BFb0061366 https://doi.org/10.1007/BFb0061366]

    work page doi:10.1007/bfb0061366 1973

  23. [23]

    M. Karoubi, Le th \'e or \`e me de p \'e riodicit \'e en K-th \'e orie hermitienne , in Quanta of Maths , Clay Mathematics Proceedings 11 , AMS and Clay Math Institute Publications (2010), 257-282, [ arXiv:0810.4707 https://arxiv.org/abs/0810.4707]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  24. [24]

    K. Landsman, Foundations of quantum theory -- From classical concepts to Operator algebras , Springer Open (2017), [ doi:10.1007/978-3-319-51777-3 https://link.springer.com/book/10.1007/978-3-319-51777-3]

    work page doi:10.1007/978-3-319-51777-3 2017

  25. [25]

    J. Lurie, On the Classification of Topological Field Theories , Current Developments in Mathematics 2008 (2009) 129-280 [ arXiv:0905.0465 https://arxiv.org/abs/0905.0465] [ doi:10.4310/CDM.2008.v2008.n1.a3 https://dx.doi.org/10.4310/CDM.2008.v2008.n1.a3]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4310/cdm.2008.v2008.n1.a3 2008

  26. [26]

    Lurie, Higher Algebra (2017), [ math.ias.edu/ lurie/papers/HA.pdf https://www.math.ias.edu/ lurie/papers/HA.pdf]

    J. Lurie, Higher Algebra (2017), [ math.ias.edu/ lurie/papers/HA.pdf https://www.math.ias.edu/ lurie/papers/HA.pdf]

    work page 2017

  27. [27]

    S. MacLane, Categories for the Working Mathematician , Graduate Texts in Mathematics 5 Springer, Berlin (1971, 1997), [ doi:10.1007/978-1-4757-4721-8 https://link.springer.com/book/10.1007/978-1-4757-4721-8]

    work page doi:10.1007/978-1-4757-4721-8 1971

  28. [28]

    D. J. Myers and M. Riley, Sesqui-Linear Homotopy Type Theory , in preparation

    work page

  29. [29]

    D. J. Myers, H. Sati, and U. Schreiber, Topological Quantum Gates in Homotopy Type Theory , [ arXiv:2303.02382 https://arxiv.org/abs/2303.02382]

    work page arXiv

  30. [30]

    M. Riley, Linear Homotopy Type Theory , talk at: HoTTEST Event for Junior Researchers 2022 (Jan 2022) [ ncatlab.org/nlab/files/Riley-LHoTT-talk.pdf https://ncatlab.org/nlab/files/Riley-LHoTT-talk.pdf] [ youtu.be/o2oWhHabjdM https://youtu.be/o2oWhHabjdM]; based on: A Bunched Homotopy Type Theory for Synthetic Stable Homotopy Theory , PhD Thesis, Wesleyan U...

    work page doi:10.14418/wes01.3.139 2022

  31. [31]

    Riley, A Linear Dependent Type Theory with Identity Types (2023), [ mvr.hosting.nyu.edu/pubs/translation.pdf https://mvr.hosting.nyu.edu/pubs/translation.pdf]

    M. Riley, A Linear Dependent Type Theory with Identity Types (2023), [ mvr.hosting.nyu.edu/pubs/translation.pdf https://mvr.hosting.nyu.edu/pubs/translation.pdf]

    work page 2023

  32. [32]

    A Categorical Model for a Quantum Circuit Description Language (Extended Abstract)

    F. Rios and P. Selinger, A Categorical Model for a Quantum Circuit Description Language , EPTCS 266 (2018), 164-178, [ doi:10.4204/EPTCS.266.11 https://doi.org/10.4204/EPTCS.266.11], [ arXiv:1706.02630 https://arxiv.org/abs/1706.02630]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.4204/eptcs.266.11 2018

  33. [33]

    Sati and U

    H. Sati and U. Schreiber, Equivariant Principal -Bundles , [ arXiv:2112.13654 https://arxiv.org/abs/2112.13654]

    work page arXiv

  34. [34]

    Sati and U

    H. Sati and U. Schreiber, Anyonic defect branes in TED-K-theory , Rev. Math. Phys 35 (2023) 2350009, [ doi:10.1142/S0129055X23500095 https://doi.org/10.1142/S0129055X23500095], [ arXiv:2203.11838 https://arxiv.org/abs/2203.11838]

    work page doi:10.1142/s0129055x23500095 2023

  35. [35]

    Sati and U

    H. Sati and U. Schreiber, Anyonic topological order in TED K-theory , Rev. Math. Phys. 35 03 (2023) 2350001, [ doi:10.1142/S0129055X23500010 https://doi.org/10.1142/S0129055X23500010], [ arXiv:2206.13563 https://arxiv.org/abs/2206.13563]

    work page doi:10.1142/s0129055x23500010 2023

  36. [36]

    Entanglement of Sections: The pushout of entangled and parameterized quantum information

    H. Sati and U. Schreiber, Entanglement of Sections: The pushout of entangled and parameterized quantum information , [ arXiv:2309.07245 https://arxiv.org/abs/2309.07245]

    work page internal anchor Pith review Pith/arXiv arXiv

  37. [37]

    Sati and U

    H. Sati and U. Schreiber, The Quantum Monadology , [ arXiv:2310.15735 https://arxiv.org/abs/2310.15735]

    work page arXiv

  38. [38]

    Selinger, Dagger compact closed categories and completely positive maps , Electronic Notes Theor

    P. Selinger, Dagger compact closed categories and completely positive maps , Electronic Notes Theor. Comp. Sci. 170 (2007), 139-163, [ doi:10.1016/j.entcs.2006.12.018 https://doi.org/10.1016/j.entcs.2006.12.018]

    work page doi:10.1016/j.entcs.2006.12.018 2007

  39. [39]

    Selinger, Autonomous categories in which A A^ , talk at QPL 2012, [ ncatlab.org/nlab/files/SelingerSelfDual.pdf https://ncatlab.org/nlab/files/SelingerSelfDual.pdf]

    P. Selinger, Autonomous categories in which A A^ , talk at QPL 2012, [ ncatlab.org/nlab/files/SelingerSelfDual.pdf https://ncatlab.org/nlab/files/SelingerSelfDual.pdf]

    work page 2012

  40. [40]

    Dagger categories via anti-involutions and positivity

    L. Stehouwer and J. Steinebrunner, Dagger categories via anti-involutions and positivity , [ arXiv:2304.02928 https://arxiv.org/abs/2304.02928]

    work page internal anchor Pith review Pith/arXiv arXiv

  41. [41]

    N. Strickland, K(n) -local duality for finite groups and groupoids , Topology 39 4 (2000), 733-772, [ doi:10.1016/S0040-9383(99)00031-2 https://doi.org/10.1016/S0040-9383(99)00031-2], [ arXiv:math/0011109 https://arxiv.org/abs/math/0011109]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/s0040-9383(99)00031-2 2000

  42. [42]

    von Neumann, Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren , Math

    J. von Neumann, Allgemeine Eigenwerttheorie Hermitescher Funktionaloperatoren , Math. Ann. 102 (1930), 49–131, [ doi:10.1007/BF01782338 https://doi.org/10.1007/BF01782338]

    work page doi:10.1007/bf01782338 1930

  43. [43]

    J. von Neumann, Mathematische Grundlagen der Quantenmechanik (1932), [ doi:10.1007/978-3-642-96048-2 https://link.springer.com/book/10.1007/978-3-642-96048-2]; Mathematical Foundations of Quantum Mechanics , Princeton University Press (1955), [ doi:10.1515/9781400889921 https://doi.org/10.1515/9781400889921]

    work page doi:10.1007/978-3-642-96048-2 1932