Abstract
The main purpose of this erratum is to correct a claim made in “On the functor ℓ2” (Computation, Logic, Games, and Quantum Foundations, Lecture Notes in Computer Science Volume 7860, 2013, pp 107–121) in Lemma 5.9. Namely, positive operators on Hilbert space are not necessarily isomorphisms, but merely bimorphisms, i.e. both monic and epic; this is precisely the issue in 2.8. Here is the corrected version.
Lemma 5.9. Positive operators on Hilbert spaces are bimorphisms.
Proof. Let p : H → H be a positive operator in Hilb. If p(x) = 0 then certainly 〈p(x) | x 〉 = 0 which contradicts positivity. Hence \(\ker(p)=0\), and so p is monic.
To see that p is epic, suppose that p ∘ f = p ∘ g for parallel morphisms f,g. Then 〈p ∘ (f − g)(x) | x 〉 = 0 for all x. By positivity, For each x there is p x > 0 such that p ∘ (f − g)x = p x ·(f − g)(x). Hence 〈(f − g)(x) | x 〉 = 0 for all x, that is, f = g and p is epic.
Definition 5.10 then needs to be adapted accordingly: a functor F : C → D is essentially full when for each morphism g in D and bimorphisms u,v in C such that g = v ∘ Ff ∘ u.
The original online version for this chapter can be found at http://dx.doi.org/10.1007/978-3-642-38164-5_8
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Heunen, C. (2013). Erratum: On the Functor ℓ2. In: Coecke, B., Ong, L., Panangaden, P. (eds) Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky. Lecture Notes in Computer Science, vol 7860. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38164-5_26
Download citation
DOI: https://doi.org/10.1007/978-3-642-38164-5_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38163-8
Online ISBN: 978-3-642-38164-5
eBook Packages: Computer ScienceComputer Science (R0)