Abstract: We study the functor l^2 from the category of partial injections to the category of Hilbert spaces. The former category is finitely accessible, and its homsets are algebraic domains; the latter category has conditionally algebraic domains for homsets. The functor preserves daggers, monoidal structures, enrichment, and various (co)limits, but has no adjoints. Up to unitaries, its direct image consists precisely of the partial isometries, but its essential image consists of all continuous linear maps between Hilbert spaces.
Recommendations
- The functor σ²X
- scientific article; zbMATH DE number 618006
- On the \(K_{-i}\)-functors
- A note on functor ()^
- On the functors \(CW_ A\) and \(P_ A\)
- On the categorical structure of \(H^{2}\)
- scientific article; zbMATH DE number 7576211
- On a Cuntz-Krieger functor
- scientific article; zbMATH DE number 800229
- scientific article; zbMATH DE number 3982059
Cites work
- \(H^\ast\)-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
- A categorical model for the geometry of interaction
- Algebraically compact functors
- An embedding theorem for Hilbert categories
- Categories of continuous functors. I
- Constructions of factorization systems in categories
- Factorization systems as Eilenberg-Moore algebras
- scientific article; zbMATH DE number 3820471 (Why is no real title available?)
- scientific article; zbMATH DE number 3781849 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- scientific article; zbMATH DE number 786499 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3383043 (Why is no real title available?)
- Lax factorization algebras
- Natural weak factorization systems.
- Nuclear and trace ideals in tensored \(^*\)-categories
- Quantum circuit oracles for abstract machine computations
- Quantum logic in dagger kernel categories
- Restriction categories. I: Categories of partial maps
- The structure of partial isometrics
- Unique decomposition categories, Geometry of Interaction and combinatory logic
Cited in
(13)- Modality via iterated enrichment
- Étale inverse semigroupoids: elementary properties, universal constructions and duality
- Join inverse categories as models of reversible recursion
- Free Monoids over Semigroups in a Monoidal Category: Construction and Applications
- Hilbertian Frobenius algebras
- Coherence and strictification for self-similarity
- Join inverse categories and reversible recursion
- Hilbertian (function) algebras
- Inversion, iteration, and the art of dual wielding
- Classical structures based on unitaries
- Compositional reversible computation
- The \textsf{ZX}\&-calculus: a complete graphical calculus for classical circuits using spiders
- Quantum linear optics via string diagrams
This page was built for publication: On the Functor ℓ2
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4922076)
