Axioms for the category of Hilbert spaces and linear contractions

The category of Hilbert spaces and linear contractions is characterised by elementary categorical properties that do not refer to probabilities, complex numbers, norm, continuity, convexity, or dimension.


Introduction
Quantum mechanics, in its traditional formulation, is based on Hilbert space [28].More precisely, it is based on mappings of Hilbert spaces.In the simplest telling, states are unit vectors, evolving along certain linear maps between Hilbert spaces.Taking into account probabilities, states become operators, and dynamics certain linear maps between the resulting algebras.Either way, it is fair to say that the category of Hilbert spaces and linear maps is crucial to quantum theory.
This model gives accurate results, but the framework of Hilbert spaces is hard to interpret physically from first principles [24].Many reconstruction programmes try to reformulate the framework mathematically, so that the primitive assumptions rely on fewer physically unjustified details [9].For example, instead of starting with Hilbert space, they start from operator algebras [20], orthomodular lattices [23], generalised probabilistic theories [25], or from categories [13].
In this final case, the situation comes down to the following.Somebody hands you a category.How do you know it is (equivalent to) that of Hilbert spaces?The answer depends on which morphisms between Hilbert spaces you choose exactly.Previous work [12] settles the case of bounded linear maps, by giving axioms characterising that category precisely.Importantly, those axioms are purely categorical, and do not mention probabilities, complex numbers, or other analytical details that you may think are fundamental to Hilbert space.
Nevertheless, the story does not end with that answer, because not all bounded linear maps are physical.Quantum systems may only evolve along unitary linear maps.Taking quantum measurement into account allows the larger class of linear contractions [26,1].But no quantum-theoretical process can be described by a bounded linear map that is not a contraction.This article settles the case for the physical choice of morphisms being linear contractions.
The main idea is the following: The subcategory of Hilbert spaces and linear contractions generates the category of Hilbert spaces and all bounded linear maps as a monoidal category with invertible nonzero scalars (where scalars in a monoidal category are endomorphism on the tensor unit).Specifically, if you formally adjoin inverses for all nonzero scalars to the former category, you get the latter.We find properties of the former category that guarantee that its completion satisfies the Andre Kornell was supported by the Air Force Office of Scientific Research under Awards No. FA9550-16-1-0082 and FA9550-21-1-0041.
axioms of [12] and hence is the category of Hilbert spaces and bounded linear maps.Finally, using the nature of the completion, we show that the former category must consist of exactly the linear contractions.
The presented axioms are natural from a categorical point of view.They progress in a modular way, so that fragments are compatible with other research programmes.For example, biproducts and equalisers are used as in abelian categories and regular categories [3], the tensor product is used as in categorical quantum mechanics [13] and the string diagrams of ZX-calculus [6], and the combination of daggers and kernels is used as in quantum logic [10].Overall, our axioms begin with the structure of dagger rig categories, which form the starting point for a complete graphical model of mixed state quantum theory [5] as well as for both classical and quantum reversible programming [11,4].Moreover, these axioms enable categorical methods such as the use of universal properties in quantum information theory [14].
In addition to being an important characterisation in its own right, this theorem is also a stepping stone towards trying to characterise related categories: Hilbert spaces and completely positive morphisms, going towards foundations of quantum information theory; Hilbert spaces and unitaries, going towards foundations of quantum computing; and Hilbert modules and adjointable morphisms, going towards unitary representations and foundations of quantum field theory [2].
The rest of this article is structured as follows.We start by stating the axioms in Section 2. Their meaning is discussed in Section 3. In particular, the category of Hilbert spaces and linear contractions is defined there, and it is shown how it satisfies the axioms.Next, Section 4 derives basic properties from the axioms.The real work begins in Section 5, which defines a completion by which we can abstractly recognise linear contractions among all bounded linear maps.Section 6 puts everything together to prove the main theorem.

The axioms
We will consider the following properties of a locally small category that is equipped with a contravariant endofunctor † and two symmetric monoidal structures (⊗, I) and (⊕, 0): (1) The contravariant endofunctor † satisfies id † H = id H for all objects H and t † † = t for all morphisms t.A category equipped with such a dagger is also called a dagger category.If t † • t = id, we call t a dagger monomorphism, and if additionally t • t † = id, we call it a dagger isomorphism.
(2) The category is a dagger rig category: the unitors, braidings, and associators of the monoidal structures (⊗, I) and (⊕, 0) are dagger isomorphisms, and they satisfy (s ⊗ t) † = s † ⊗ t † and (s ⊕ t) † = s † ⊕ t † for all morphisms s and t, and there are natural dagger isomorphisms that satisfy the coherence conditions (I)-(XXIV) of [18].(3) The unit 0 is initial, and thus a zero object.We write 0 H,K for the unique morphism H → K that factors through the object 0. It follows that there are natural morphisms: This property of ⊕ makes the category so-called affine or semicartesian.(4) The injections inl H,K and inr H,K are jointly epic: s = t : H ⊕ K → L as soon as s • inl = t • inl and s • inr = t • inr.(5) Mixture occurs: there exists a morphism s : Observe that these axioms are all elementary properties of categories: none of them refer to notions such as complex amplitudes, probabilities, norm, convexity, continuity, or metric completeness.These are natural axioms from a categorical point of view, and thus we hope that they can be interpreted as natural assumptions about quantum information processes.For example, one might interpret axiom (1) in terms of time reversal symmetry and axioms (2)- (5) in terms of superposition.However, this task is beyond the scope of this work, and we leave it to future research.Furthermore, we conjecture that these axioms are all necessary for our result and independent.For example, the category of sets and partial injections satisfies all the axioms except (5).
We end this section with a brief summary of the main ideas of previous work [12] that we will rely on.That work assumed similar axioms as here.Axioms (1) and ( 7)-( 9) are literally the same.Axioms (2)-(5) resemble the axiom there stipulating dagger biproducts.Axiom (6) here concerns dagger monomorphisms but there concerns all monomorphisms, and similarly, axiom (11) here concerns colimits in the category itself but there concerns colimits in the wide subcategory of dagger monomorphisms.Axiom (10) here has no analogue there.A category C satisfying those axioms is there shown to be equivalent to the category of Hilbert spaces as follows.Just as vectors of a Hilbert space H are recovered as linear maps C → H in the complex case, the idea is that an object H ∈ C can be turned into a concrete Hilbert space by taking the set C(I, H), which intuitively consists of the vectors of H, and equipping it with the structure of a complete inner product space over the field C(I, I).The endomorphisms I → I always form a commutative monoid, but due to the axioms imposed on C it turns into an involutive field [12, Lemma 1].In fact, by Solèr's Theorem, this field must be either R or C [12, Proposition 5].The main result then showed that there is a functor C(I, −) from C to the category of Hilbert spaces that defines an equivalence of dagger rig categories [12,Theorem 8].

The category
We define our main model.Recall that a Hilbert space is a vector space H over R or C, together with an inner product ⟨− | −⟩ whose induced norm ∥x∥ 2 = ⟨x|x⟩ makes H Cauchy-complete. Definition 1.A linear function T : H → K between Hilbert spaces is bounded when there exists a constant N ∈ [0, ∞) such that ∥T x∥ ≤ N • ∥x∥ for all x ∈ H; write ∥T ∥ for the infimum of such N .The function T is called a contraction when ∥T ∥ ≤ 1, that is, when ∥T x∥ ≤ ∥x∥ for all x ∈ H.Such linear functions are also known as nonexpansive or short maps.We write Hilb R and Hilb C for the categories of Hilbert spaces and bounded linear maps, and Con R and Con C for the categories of Hilbert spaces and short linear maps, respectively over the real and complex numbers.When the distinction does not matter, we will simply write Hilb and Con.
Let us discuss how Con satisfies the axioms.
(1) The dagger is provided by adjoints: for any bounded linear function T : H → K there is a unique linear map x ∈ H and y ∈ K.This is a well-defined functor on Con because ∥T † ∥ = ∥T ∥.The dagger monomorphisms are the isometries, and the dagger isomorphisms are the unitaries.We shall use both terminologies, depending on whether we are working with an abstract dagger category or are in the concrete setting of Hilbert spaces.(2) The monoidal structures ⊗ and ⊕ are produced by tensor products and direct sums of Hilbert spaces, respectively.This is well-defined in Con because ∥S ⊗ T ∥ = ∥S∥ • ∥T ∥ and ∥S ⊕ T ∥ = max{∥S∥, ∥T ∥}.The unit I is the one-dimensional Hilbert space given by the base field, and the unit 0 is the zero-dimensional Hilbert space {0}.(3) Linear maps must preserve the 0 vector, so the object 0 is indeed initial.(4) The injections inl H,K (x) = (x, 0) and inr H,K (y) = (0, y) have images that linearly span H ⊕ K, so are clearly jointly epic.(5) The vector s = ( 12 , 1 2 ) in the two-dimensional Hilbert space satisfies (5), so this axiom may be read as saying that nontrivial superpositions of qubits exist.(6) The only vector subspaces of the base field are the zero-dimensional one and the whole space itself.(7) Linear contractions are continuous, and the linear span of pure tensor elements x⊗y is dense in H ⊗K, so morphisms in Con out of a tensor product are indeed determined by their action on pure tensor elements.(8) If S, T : H → K are linear contractions, then {x ∈ H | Sx = T x} is a closed subspace of H and hence an object of Con, and the inclusion is automatically an isometry.(9) Any closed subspace N ⊆ H is a kernel of the orthogonal projection inr † : H ≃ N ⊕ N ⊥ → N ⊥ onto its orthocomplement, which is a contraction.The last two axioms are perhaps a bit less standard, and we spell out proofs.
Proof.See also [22,Proposition 3.1].Let (J, ≤) be a directed partially ordered set, and H i≤j : H i → H j be a diagram J → Con.Let V be the vector space j∈J H j , where x ∈ H i and y ∈ H j are identified when it is routine to verify that this limit exists and defines a seminorm on V .(Recall that a seminorm is a function p : V → R that satisfies all properties of a norm except positive definiteness; so p(x) = 0 need not imply x = 0.) This seminorm satisfies the parallelogram law.So if and observe that this is a cocone.

Hi<∞ Hj<∞
Suppose that T j : H j → K is another cocone.It defines a function j∈J H j → K that respects the equivalence, and so lifts to a linear function T : Thus T lifts to a linear function V /N → K. Similarly, this function is a contraction, and so extends to a linear contraction T ∞ : ) for all x j ∈ H j , and so T ∞ is a mediating map from the cocone {H j<∞ } j∈J to the cocone {T j } j∈J .Finally, this mediating map is unique, because the H j<∞ have jointly dense range in H ∞ by construction.□ Axioms ( 10) and ( 11) are the only ones that hold in Con but not in Hilb.The behaviour following from these two axioms accounts for the difference between the two categories.
We end this section by determining the subobjects of I in Con.Contrast the following lemma to the situation Hilb, where the subobjects of I are {0, 1}; the crucial difference is that scalars 0 < z < 1 are invertible in Hilb but not in Con.

The basic lemmas
From now on, we assume a (locally small) category D that satisfies the axioms ( 1)- (11), and set out to prove that D ≃ Con.In this section we derive some basic properties of D. We start by recalling a factorisation that already follows from ( 8) and ( 9) alone [10].We summarise a proof here for convenience.
Lemma 5. Any morphism t : H → K factors as an epimorphism e : H → E followed by a dagger monomorphism k = ker(ker(t † ) † ) : E → K.
Proof.By (1), ker(t † ) † is a cokernel of t, so that ker(t † ) † •t = 0, and t always factors through k via some morphism e.It remains to show that e is an epimorphism.
We first prove that if s • e = 0, then s = 0 : and so s = 0. Next, we prove that e is an epimorphism.Suppose that s•e = s ′ •e for morphisms s, s ′ : E → L. Let m be a dagger equaliser of s and s ′ .Then e factors through m, and, writing coker(m) for a cokernel of m, we infer coker(m) • e = 0.
But by the property we proved earlier, that means coker(m) = 0, and so m is invertible.We conclude that s = s ′ .□ Next we notice a consequence of axiom (6).A scalar in a monoidal category is a morphism z : I → I, and we can multiply any morphism t : H → K by it to obtain a morphism For a scalar z : I → I and morphisms s : H → K and t : K → L, it follows from the bifunctoriality of the tensor product that z In particular, w • z = w • z for scalars w, z : I → I. Instead of id I we may write 1 for the identity scalar.Lemma 6.Every nonzero scalar is monic and epic.
Proof.Let z : I → I be nonzero.Lemma 5 factors it as an epimorphism followed by a dagger monomorphism.Axiom (6) guarantees that that dagger monomorphism is either 0 or invertible.By assumption it cannot be zero, and so z is epic.Similarly, z † is epic, and so z is also monic.□ It follows that every dagger monic scalar is invertible, for it cannot be zero, so must be epic as well as split monic.
Lemma 7.For all nonzero scalars z and morphisms s, t : Proof.By two applications of axiom (7), it suffices to prove that y † • s • x = y † • t • x for all x : I → H and y : , and the scalar z is monic by Lemma 6. □ The following two lemmas are consequences of axiom (10).
Lemma 8. Any isomorphism is a dagger isomorphism.Any split monomorphism is a dagger monomorphism.
Proof.Let r : H → L be an isomorphism.Taking s = id L and t = r in (10) shows that r Now suppose that t : H → K is a split monomorphism.Factor t = k • e for a dagger monomorphism k : E → K and an epimorphism e : H → E. Then the epimorphism e is itself split monic.But in any category, a split monic epimorphism is an isomorphism, and hence e is a dagger isomorphism.Therefore, t is a dagger monomorphism.□ Lemma 9.If a scalar z and a morphism t : Proof.Factor t = k • e for a dagger monomorphism k : E → K and an epimorphism e : (10) and Lemma 8 provide a dagger isomorphism u : H → E such that e = z • u, and so t = z • s for the dagger monomorphism s = k • u. □

The completion
This section contains the main construction of the proof.Lemmas 4, 6, and 8 show that scalars in Con correspond to the unit disc: Observe that nonzero scalars that are not on the unit circle have no inverse in Con.But they do in Hilb.In fact, Hilb is the localisation of Con at nonzero scalars.We now abstractly construct the localisation of a monoidal category at its nonzero scalars in a way that respects the axioms (1)- (11).Write D = D(I, I) for the scalars of D.
Proposition 10.There is a category D[D −1 ] with the same objects as D, where a morphism [t/z] consists of a nonzero scalar z and a morphism t in D modulo the following equivalence relation: The identity on H is [id H /1], and composition is given by: There is an embedding D → D[D Hence ∼ is an equivalence relation.
To see that the composition is well-defined, suppose that To see that it is full, let T : H → K be a bounded linear function.Proof.Set [t/z] † = [t † /z † ], which is clearly well-defined.By Proposition 10, the embedding D → D[D −1 ] sends an object A to itself, and sends a morphism t to [t/1].It is faithful by Lemma 7. The embedding clearly preserves daggers, hence dagger monomorphisms, and so restricts to the wide subcategories of dagger monomorphisms.This restricted functor is still bijective on objects and faithful.To see that it is full, let [t/z] be a dagger monomorphism in is the image of a dagger monic in D under the embedding.□ An object is simple when any monomorphism into it must be 0 or invertible.This requirement on I is stronger than axiom (6), which only concerns dagger monomorphisms.
Lemma 15.The tensor unit I in D[D −1 ] is simple.
Proof.First, we will show that a monomorphism [s/z] : S → I represents the same subobject of I as [0/1] if and only if s = 0. Suppose [s/z] : Because w •0 S,I = 0 S,I , by Lemma 7, this means exactly that s = 0. Thus [s/z] = 0 is the minimum subobject if and only if s = 0.
Next, we will show that a monomorphism [s/z] : S → I represents the same subobject of I as [1/1] if and only if s ̸ = 0. Similarly to the last paragraph, [s/z] ≤ [id/1] as subobjects, so [s/z] is the maximum subobject if and only if [id/1] ≤ [s/z].This happens when there is a morphism [t/w] : We may choose w = s • s † and t = z • s † to see that this is true as soon as s • s † ̸ = 0.This final inequality is equivalent to s † ̸ = 0 because s is monic in this case.Now, either s = 0 or s ̸ = 0.If s = 0 then [s/z] is the minimum subobject, and if for all 0 ̸ = w : I → I and x : I → H and y : A dagger biproduct of H and K in a dagger category with a zero object 0 is a product Proof.For all morphisms [t/z] : , ⊕, 0) a symmetric monoidal category.To show that it is cartesian monoidal, it suffices to prove that K ⊕ L is the product of K and L with projections [inl † /1] and [inr † /1], because 0 is clearly terminal [8].It then follows that K ⊕ L is a dagger biproduct of K and L because inl and inr are dagger monomorphisms.
Axiom (5) provides a map s : I → I ⊕ I in D such that the scalars x = inl † • s and y = inr † • s are nonzero.We will use this to show that ⊕ forms a product in Here p is made up from s and isomorphisms provided by axiom (2).We will prove that the following diagram commutes in D[D −1 ]: The left triangle commutes because the following diagram commutes in D: The right triangle commutes similarly.
Moreover, the mediating map q is unique.For suppose Because inl † and inr † are jointly epic by axiom (4), we have that z and hence there is a unique morphism m : To see that [m/w • w] is the unique such morphism, suppose that we also have . By Lemma 14, we may assume that it is of the form [t/1], where t : H → K is a dagger monomorphism in D. Now (9) gives t = ker(s) for some s : Fix an index i, and restrict both the diagram and the cocone to indices j ≥ i.This restricted cocone is still colimiting.Another cocone on the restricted diagram is given by t † ij : H j → H i .Indeed, for i ≤ j ≤ k, we have: Thus, we obtain a mediating morphism m i : C → H i satisfying m i • c j = t † ij for all j ≥ i.In particular, m i • c i = id Hi .Therefore, c i is a dagger monomorphism by Lemma 8. □ Having established that all necessary axioms hold, we can now apply previous results and establish an equivalence with Hilb.We will describe this equivalence explicitly shortly.Proof.Use Lemmas 12-20 to apply [12,Theorem 8].□

The theorem
The previous section showed that if a category D satisfies (1)- (11), then the completion C = D[D −1 ] is equivalent to Hilb C as a dagger rig category.Here C = C(I, I) is an involutive field that is canonically isomorphic either to R or to C up to a choice of imaginary unit [12,Proposition 5].To be explicit, the equivalence is implemented by the functor C(I, −) : C → Hilb C .The fact that this is an equivalence of dagger rig categories means the following.First, the functor is full and faithful, and any Hilbert space is unitarily isomorphic to C(I, H) for some object H of C. Also, the functor preserves the dagger: Moreover, the functor is strong monoidal for ⊗, meaning that there are coherent isomorphisms C(I, H ⊗ K) ≃ C(I, H) ⊗ C(I, K) and C(I, I) ≃ C. Similarly, that the functor is strong monoidal for ⊕ means there are coherent isomorphisms C(I, H ⊕K) ≃ C(I, H)⊕C(I, K) and C(I, 0) ≃ 0. Finally, modulo these coherence morphisms, the functor maps the distributors To complete the proof of the main theorem, in this section we will determine the image of D in Hilb = Hilb C .The same proof applies to both the real and the complex cases.To simplify the presentation, we identify D with its canonical image in C.
First, we characterize D ⊆ C.
For the reverse inclusion, recall that for any set A we have a directed diagram in C that assigns an object I R to each finite R ⊆ A, namely the biproduct of R many copies of I.The diagram consists of dagger monomorphisms i R,S : I R → I S for finite R ⊆ S. For its colimit among the dagger monomorphisms of C, write i R,A : I R → I A .
Because the morphisms of the diagram are dagger monomorphisms, it is also a diagram in D. Write j R : I R → H for the colimit of this diagram in D. A priori, the objects H and I A may not be isomorphic.We now specialize to the case A = N.
Let z ∈ D. Without loss of generality, assume that the objects I R , for finite R ⊆ N, are constructed using the canonical monoidal product ⊕ on D. Construct a natural transformation {t R : I R → I R } R⊆N in D such that t {n} is scalar multiplication by z n for each n ∈ N. In the colimit, we obtain a morphism t : H → H such that the following square always commutes: As in [12], I {n} = I for each n ∈ N. Thus, j {n} is a vector in the Hilbert space C(I, H).The wide subcategory of C with dagger monomorphisms is a subcategory of D, and thus i {n},N factors through j {n} .Therefore the vector j {n} is nonzero.The operator T = C(I, t) satisfies T (j {n} ) = t • j {n} = j {n} • t {n} = z n • j {n} .In other words, j {n} is an eigenvector of T with eigenvalue z n .Thus, ∥T ∥ ≥ |z n | = |z| n for all n ∈ N.But T is bounded, so we must have |z| ≤ 1.Therefore, this shows that D ⊆ {z ∈ C | |z| ≤ 1}.Altogether, we have equality. □ Our next goal is to show that D cannot contain morphisms T of Hilb with ∥T ∥ > 1.To engineer a counterexample, we first examine the situation in Con.
Example 23.Let 0 < z 1 < z 2 < z 2 < . . .< 1 be an increasing sequence in (0, 1], and let z ∞ be its supremum.The following is a directed diagram in Con: This diagram admits two cocones, among others: first, a cocone into I whose edges are simply the scalars z 1 , z 2 , z 3 , . ..; second, a cocone into I whose edges are the scalars z 1 /z ∞ , z 2 /z ∞ , z 3 /z ∞ , . ... This gives the following diagram: The following lemma demonstrates the same phenomenon in D. Lemma 24.The functor C(I, −) : C → Hilb restricts to a functor D → Con.
Furthermore, for all objects H and all sequences 0 < z 1 < z 2 < . . .with sup z n = 1, the following is a colimiting cocone in D: Proof.Let t : H → K be a morphism in D. Assume that ∥C(I, t)∥ > 1, and let x ∈ C(I, H) be such that ∥x∥ = 1 and ∥t • x∥ > 1.Now x † • x = ∥x∥ 2 = 1, so x is dagger monic and hence in D. Furthermore We have arrived at the main theorem of this article.
Theorem 26.A dagger rig category D satisfying axioms (1)-( 11) is equivalent to Con R or Con C , and the equivalence preserves daggers and is strong symmetric monoidal for both ⊗ and ⊕ and preserves the distributors of axiom (2).
Proof.Combine Proposition 21 and Lemma 25. □ All of the isomorphisms of axiom (2) are preserved, making any dagger rig category satisfying axioms (1)-( 11) equivalent to Con R or Con C as a dagger rig category.The equivalence of Theorem 26 is a weak equivalence, i.e., a full, faithful, and essentially surjective functor D → Con.In fact, it is essentially surjective in the stronger sense that every object of Con is dagger isomorphic to one in its image by Lemma 8. Let D be a category.If there exist a contravariant endofunctor † and symmetric monoidal structures (⊗, I) and (⊕, 0) that satisfy axioms (1)- (11), then there exists an equivalence D → Con, as an immediate consequence of Theorem 26.The converse also holds.For any equivalence D → Con, there exist a dagger and dagger symmetric monoidal structures (⊗, I) and (⊕, 0) on D such that the equivalence preserves all of these structures; we combine [27, Lemma V.1], [16,Corollary 3.1.6],and [15,Theorem 5] and use the axiom of global choice.
Thus, a category D is equivalent to Con R or Con C if and only if there exist a dagger and symmetric monoidal structures (⊗, I) and (⊕, 0) on D satisfying axioms (1)- (11).In this way, these axioms serve to characterize Con R and Con C as categories with no additional structure.

Lemma 4 .
There is an order isomorphism between the subobjects of I in Con and the real unit interval [0, 1].Proof.Consider a monomorphism of Con into the base field I.It is an injective linear contraction T : H → I.The kernel of T is zero, and so dim H = 0 or dim H = 1.Hence a subobject of I is represented by the unique morphism 0 → I or by an injective contraction I → I. Up to isomorphism of subobjects, the latter morphisms are scalars in the interval (0, 1].Hence the subobjects of I in Con are canonically in bijection with the closed unit interval [0, 1].This bijection is clearly an order isomorphism.□ It is clearly associative and satisfies the identity laws.If z and w are nonzero scalars, then z • w = z • w is nonzero because w is monic by Lemma 6.The assignment t → [t/1] is functorial, injective on objects, and faithful.□ The previous proposition concretely describes a quotient category [19, II.8]: writing I for the one-object category of non-zero scalars of D, take the quotient of D×I under the congruence relation (s, w) ∼ (t, z) ⇐⇒ z • s = w • t.Example 11.There is an isomorphism F : Con[D −1 ] → Hilb of categories.It is defined as the identity F (H) = H on objects, and as F [T /z] = z −1 T on morphims.It is faithful by construction, because F [S/w] = F [T /z] implies zS = wT and so [S/w] ∼ [T /z].

Lemma 12 .F
The category D[D −1 ] inherits monoidal structure ⊗ from D, and the functor D → D[D −1 ] is strict monoidal for ⊗.Proof.Observe that the equivalence relation of Proposition 10 is a monoidal congruence: if [s/w] ∼ [s ′ /w ′ ] and [t/z] ∼ [t ′ /z ′ ], then [s⊗t/w •z] ∼ [s ′ ⊗t ′ /w ′ •z ′ ]. □Before we show that it satisfies the axioms of[12] one by one, let us first establish the universal property that justifies the notation D[D −1 ].Notice that any morphism [t/z] in D[D −1 ] can be factored as [t/z] = [id/z] • [t/1].Proposition 13.Any functor F : D → C that is strong monoidal for ⊗ such that F (z) is invertible for all nonzero scalars z factors through a unique functor D[D −1 ] → C that is strong monoidal for ⊗ via the functor D → D[D −1 ].Proof.Define the functor G : D[D −1 ] → C by G(H) = F (H) on objects, and by G[t/z] = F (z) −1 • F (t) on morphisms.This is the only functor making the triangle commute, because it is completely determined by its values at [t/1] and [id/z] for all morphisms t and all scalars z in D. □ Thus D[D −1 ] is the localisation of D at all nonzero scalars: it formally adjoins inverses for all nonzero scalars to D. The concrete description of Proposition 10 simplifies the general construction for localisation [17].Lemma 14.The category D[D −1 ] has a dagger, and the embedding D → D[D −1 ] preserves it.The embedding restricts to an isomorphism between the wide subcategories of dagger monomorphisms in D and D[D −1 ].

Proposition 21 .
There is an equivalence of dagger rig categories D[D −1 ] ≃ Hilb.

Lemma 22 .
We have that D = {z ∈ C | |z| ≤ 1}.Proof.Let z ∈ [0, 1] ⊆ C be an element of the unit interval.The morphism v : I → I ⊕ I with components √ z and √ 1 − z is a dagger monomorphism and thus in D. It follows that z a scalar in D, contradicting Lemma 22.We conclude that ∥C(I, t)∥ ≤ 1, and that C(I, −) restricts to a functor D → Con.Let 0 < z 1 < z 2 < . . .be an increasing sequence of numbers with supremum 1.The morphisms (z n /z n+1 ) • id are all in D by Lemma 22.They form a directed diagram, which has a colimiting cocone t n : H → K. Now z n • id : H → H forms another cocone.Thus there is a unique mediating morphism s : K → H in D:The functor C(I, −) : D → Con maps the cocone z n •id : H → H to a colimiting cocone in Con.Thus there is a mediating bounded operator T :C(I, H) → C(I, K): a unique morphism s ∈ D(H, K) ⊆ C(H, K) making this diagram commute.Thus, z 1 • s = s • (z 1 • id) = z 1 • t.Since z 1 ̸ = 0, we conclude by Lemma 7 that t = s.Hence t is in D. Therefore, any morphism t of C with ∥C(I, t)∥ ≤ 1 is in D. □ The unit I is dagger simple: any dagger monomorphism S → I is either invertible or zero but not both.(7) The unit I is a monoidal separator : s = t : H⊗K → L as soon as s•(x⊗y) = Subobjects are determined by positive maps: monomorphisms r : H ↣ L and s : K ↣ L satisfy r = s • t for some isomorphism t if and only if r • r † = s • s † .(11) Any directed diagram has a colimit.
t • (x ⊗ y) for all x : I → H and y : I → K.
Consider a directed partially ordered set indexing a diagram of dagger monomorphisms in D[D−1 ].By Lemma 14, we may assume that the diagram is represented as [t ij /1] : H i → H j for dagger monomorphisms t ij : H i → H j in D for i ≤ j.Axiom (11) provides a colimiting cocone c i : H i → C in D. By Lemma 14, for [c i /1] : H i → C to be a colimiting cocone in the wide subcategory of dagger monomorphisms of D[D −1 ], it suffices to prove that each c i is dagger monic in D.