Dagger categories via anti-involutions and positivity

Jan Steinebrunner; Luuk Stehouwer

arxiv: 2304.02928 · v2 · submitted 2023-04-06 · 🧮 math.CT · math-ph· math.MP

Dagger categories via anti-involutions and positivity

Luuk Stehouwer , Jan Steinebrunner This is my paper

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

classification 🧮 math.CT math-phmath.MP

keywords dagger categoriesanti-involutionspositivity notionsHermitian fixed pointscategorical quantum mechanics2-categoriesbiequivalenceprinciple of equivalence

0 comments

The pith

The 2-category of anti-involutive categories with positivity is biequivalent to the 2-category of dagger categories.

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

Dagger categories appear in categorical quantum mechanics and unitary topological field theory but clash with the principle of equivalence because their definition picks identities on objects. The paper replaces this with an anti-involution d from a category to its opposite that squares coherently to the identity, plus Hermitian fixed points dx isomorphic to x, and a positivity notion built from those fixed points. It proves that anti-involutive categories equipped with such a positivity notion form a 2-category biequivalent to ordinary dagger categories. The result supplies an equivalence-invariant description that can extend to higher categories without breaking coherence.

Core claim

The 2-category of anti-involutive categories with a positivity notion is biequivalent to the 2-category of dagger categories, where an anti-involution is a functor d: C to C^op together with a natural isomorphism eta making d squared isomorphic to the identity, and the positivity notion is defined on the Hermitian fixed points dx congruent to x.

What carries the argument

Anti-involution d: C to C^op with coherent square eta: d squared congruent to id, together with a positivity notion extracted from the Hermitian fixed points dx congruent to x.

If this is right

Dagger structure on morphisms is recovered directly from the anti-involution and the positivity data.
The definition is invariant under equivalence of categories, removing the obstruction to higher-categorical generalizations.
The positivity notion specializes to positive definite pairings when the category is that of Hilbert spaces.
The biequivalence preserves the 2-categorical structure, so 2-functors and natural transformations correspond on both sides.

Where Pith is reading between the lines

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

The construction may allow dagger-like structures to be defined on categories of cobordisms or other geometric categories without choosing objectwise identities by hand.
It suggests a route to dagger 2-categories or dagger infinity-categories that respects all higher coherences automatically.
The same anti-involution plus positivity data might interact with other involutive structures such as those appearing in real or complex algebraic geometry.

Load-bearing premise

The positivity notion built from Hermitian fixed points of the anti-involution reproduces exactly the dagger structure on morphisms with no extra data that would break the biequivalence.

What would settle it

An explicit anti-involutive category equipped with a positivity notion whose induced dagger structure fails to satisfy the usual axioms, or a dagger category that cannot be recovered from any such anti-involution plus positivity, would falsify the claimed biequivalence.

read the original abstract

Dagger categories are an essential tool for categorical descriptions of quantum physics, for example in categorical quantum mechanics and unitary topological field theory. Their definition however is in tension with the ``principle of equivalence'' that lies at the heart of category theory, thereby inhibiting generalizations to higher categories. In this note we propose an alternative, coherent description of dagger categories based on the well-studied notion of anti-involutions $d\colon \mathcal{C} \to \mathcal{C}^{op}$, which coherently square to the identity functor $\eta\colon d^2 \cong \operatorname{id}_{\mathcal{C}}$. A general anti-involution need not be the identity on objects, but we instead consider certain isomorphisms $dx \cong x$, which we call Hermitian fixed points as they generalize the notion of a Hermitian inner product on a vector space. We define a ``positivity notion" on $(\mathcal{C},d, \eta)$ in terms of such Hermitian fixed points. This terminology is motivated by the dagger category of Hilbert spaces, in which case the positivity notion consists of the positive definite pairings. Our main result is that the $2$-category of anti-involutive categories with a positivity notion is biequivalent to the $2$-category of dagger categories.

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

This note replaces the usual dagger with an anti-involution plus positivity on Hermitian fixed points and claims the resulting 2-categories are biequivalent.

read the letter

The key point is that this note replaces the usual dagger with an anti-involution plus positivity on Hermitian fixed points and claims the resulting 2-categories are biequivalent. The construction uses an anti-involution d that squares to the identity via a coherent isomorphism, then adds positivity data on the fixed points dx ≅ x to recover the dagger on morphisms. The main result is that this data gives a biequivalence to ordinary dagger categories, which is meant to make the structure more compatible with the principle of equivalence for higher-categorical work. The examples such as Hilb are preserved, with positivity corresponding to positive definite pairings. This is a direct response to a known tension in the literature, and the definitions are set up so the two notions match on the intended cases. The biequivalence is the concrete new content; without it the reformulation would just be another presentation. The paper does well at keeping the technical overhead low while addressing the strictness problem head-on. A minor soft spot is that the positivity notion must recover the dagger functor without introducing choices that break the 2-categorical equivalence in either direction, but the setup is explicitly designed to avoid that and the stress-test finds no internal inconsistency. The argument therefore looks like it holds up on its own terms. This is for readers already working in categorical quantum mechanics or higher categories who need a version of dagger structures that plays better with equivalence. A serious referee would be appropriate because the claim is a precise technical result on a documented issue rather than a broad new domain. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper proposes an alternative definition of dagger categories using anti-involutions d: C → C^op equipped with a coherence isomorphism η: d² ≅ id_C. It introduces Hermitian fixed points as isomorphisms dx ≅ x and defines a positivity notion on these fixed points. The central claim is that the resulting 2-category of anti-involutive categories with positivity is biequivalent to the 2-category of ordinary dagger categories, with the construction preserving standard examples such as Hilb.

Significance. If the biequivalence holds, the work supplies an equivalence-invariant presentation of dagger structure that may support coherent higher-categorical extensions in categorical quantum mechanics and related areas. The approach directly targets the strictness tension with the principle of equivalence while retaining the intended models.

major comments (2)

[§3] §3 (definition of positivity): the paper must verify that the positivity data on Hermitian fixed points recovers a dagger functor on morphisms without additional choices or coherence data that would obstruct the 2-categorical inverse. The abstract and sketch leave this reconstruction step implicit.
[Theorem 4.1] Theorem 4.1 (biequivalence): the proof must exhibit explicit 2-natural transformations showing that the two constructions are inverse up to equivalence, including verification that the Hermitian fixed-point data is preserved under the functors in both directions.

minor comments (2)

The abstract would benefit from a one-sentence indication of the key steps in the biequivalence (e.g., how positivity induces the dagger and vice versa).
[§2] Notation for the coherence η and the fixed-point isomorphisms should be introduced with explicit diagrams in §2 to aid readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed report and for highlighting the need for greater explicitness in the reconstruction and biequivalence proof. We agree that these aspects require expansion to make the arguments fully rigorous and will revise the manuscript accordingly. Below we address each major comment.

read point-by-point responses

Referee: [§3] §3 (definition of positivity): the paper must verify that the positivity data on Hermitian fixed points recovers a dagger functor on morphisms without additional choices or coherence data that would obstruct the 2-categorical inverse. The abstract and sketch leave this reconstruction step implicit.

Authors: We agree that the reconstruction of the dagger functor from the positivity data on Hermitian fixed points must be made fully explicit, including a verification that no extra choices or obstructing coherence data arise. In the revised version we will expand §3 with a detailed construction showing how the positivity notion canonically determines the dagger on morphisms, together with the necessary checks that this assignment is functorial and compatible with the 2-categorical structure. revision: yes
Referee: [Theorem 4.1] Theorem 4.1 (biequivalence): the proof must exhibit explicit 2-natural transformations showing that the two constructions are inverse up to equivalence, including verification that the Hermitian fixed-point data is preserved under the functors in both directions.

Authors: We accept that the current proof of Theorem 4.1 would benefit from a more explicit presentation of the 2-natural transformations. In the revision we will supply the concrete 2-natural transformations in each direction, verify that they are inverses up to equivalence, and include a direct check that the Hermitian fixed-point data (and the positivity notion) is preserved by the functors and their inverses. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper introduces anti-involutions and positivity notions as independent data on categories, then proves a biequivalence to the 2-category of dagger categories. The abstract and setup present two separately axiomatized 2-categories whose equivalence is the theorem to be shown; no step reduces a claimed prediction or central result to a fitted input, self-citation, or definitional renaming. The construction is self-contained against external benchmarks of category theory and does not rely on load-bearing self-citations or ansatzes smuggled from prior work by the same authors.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The claim rests on standard category theory and 2-category axioms plus newly introduced defined notions (Hermitian fixed points and positivity) that are not free parameters but part of the alternative framework.

axioms (1)

standard math Standard axioms of categories, functors, natural isomorphisms, and 2-categories
The entire development occurs inside ordinary category theory and its 2-categorical extension.

invented entities (1)

Hermitian fixed points no independent evidence
purpose: Isomorphisms dx ≅ x used to define the positivity notion on anti-involutive categories
Newly introduced concept generalizing Hermitian inner products; no independent evidence outside the paper is given.

pith-pipeline@v0.9.0 · 5756 in / 1154 out tokens · 65751 ms · 2026-05-24T09:39:33.559311+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Our main result is that the 2-category of anti-involutive categories with a positivity notion is biequivalent to the 2-category of dagger categories.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

A Hermitian fixed point in a category with anti-involution is an isomorphism h : c → dc such that [triangle with ηc and dh]

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 3 Pith papers

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

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.
Quantum and Reality
quant-ph 2023-11 unverdicted novelty 7.0

Hermitian forms on Hilbert spaces arise from the monoid structure of complex conjugation in Z/2-equivariant real linear types within LHoTT, requiring only a negative unit term.
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

4 extracted references · 4 canonical work pages · cited by 3 Pith papers

[1]

Topological quantum ﬁeld theory

[Ati88] Michael Atiyah. “Topological quantum ﬁeld theory”. In: Publications Math´ ematiques de l’IH´ES 68 (1988), pp. 175–186. [BM09] Edwin Beggs and Shahn Majid. “Bar categories and star oper ations”. In: Algebras and Representation Theory 12.2-5 (2009), pp. 103–152. [BSW19] Marco Benini, Alexander Schenkel, and Lukas Woike. “Involu tive categories, colo...

work page 1988
[2]

Representations of fusion cat- egories and their commutants

[HP20] Andr´ e Henriques and David Penneys. Representations of fusion cat- egories and their commutants . Available at arXiv:2004.08271

work page arXiv 2004
[3]

Unitary an- chored planar algebras

[HPT23] Andr´ e Henriques, David Penneys, and James Tener. Unitary an- chored planar algebras . Available at arXiv:2301.11114

work page arXiv
[4]

Involutive categories and monoids, with a GN S-correspondence

[Jac12] Bart Jacobs. “Involutive categories and monoids, with a GN S-correspondence”. In: Foundations of Physics 42 (2012), pp. 874–895. [KS06] Max Kelly and Ross Street. “Review of the elements of 2-cate gories”. In: Category Seminar: Proceedings Sydney Category Theory Semi nar 1972/1973. Springer. 2006, pp. 75–103. [MS23] Lukas M¨ uller and Luuk Stehouw...

work page arXiv 2012

[1] [1]

Topological quantum ﬁeld theory

[Ati88] Michael Atiyah. “Topological quantum ﬁeld theory”. In: Publications Math´ ematiques de l’IH´ES 68 (1988), pp. 175–186. [BM09] Edwin Beggs and Shahn Majid. “Bar categories and star oper ations”. In: Algebras and Representation Theory 12.2-5 (2009), pp. 103–152. [BSW19] Marco Benini, Alexander Schenkel, and Lukas Woike. “Involu tive categories, colo...

work page 1988

[2] [2]

Representations of fusion cat- egories and their commutants

[HP20] Andr´ e Henriques and David Penneys. Representations of fusion cat- egories and their commutants . Available at arXiv:2004.08271

work page arXiv 2004

[3] [3]

Unitary an- chored planar algebras

[HPT23] Andr´ e Henriques, David Penneys, and James Tener. Unitary an- chored planar algebras . Available at arXiv:2301.11114

work page arXiv

[4] [4]

Involutive categories and monoids, with a GN S-correspondence

[Jac12] Bart Jacobs. “Involutive categories and monoids, with a GN S-correspondence”. In: Foundations of Physics 42 (2012), pp. 874–895. [KS06] Max Kelly and Ross Street. “Review of the elements of 2-cate gories”. In: Category Seminar: Proceedings Sydney Category Theory Semi nar 1972/1973. Springer. 2006, pp. 75–103. [MS23] Lukas M¨ uller and Luuk Stehouw...

work page arXiv 2012