On the Functor ℓ2

DOI10.1007/978-3-642-38164-5_8zbMath1264.46014arXiv1012.4526OpenAlexW3102500464MaRDI QIDQ4922076

Chris Heunen

Publication date: 28 May 2013

Published in: Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1012.4526

Mathematics Subject Classification ID

Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Categories admitting limits (complete categories), functors preserving limits, completions (18A35)

Related Items (10)

Modality via iterated enrichment ⋮ Free Monoids over Semigroups in a Monoidal Category: Construction and Applications ⋮ Étale inverse semigroupoids: elementary properties, universal constructions and duality ⋮ Coherence and strictification for self-similarity ⋮ Join inverse categories and reversible recursion ⋮ Classical Structures Based on Unitaries ⋮ Join Inverse Categories as Models of Reversible Recursion ⋮ Hilbertian (function) algebras ⋮ Inversion, Iteration, and the Art of Dual Wielding ⋮ Hilbertian Frobenius algebras

Cites Work

• A categorical model for the geometry of interaction
• Quantum circuit oracles for abstract machine computations
• Quantum logic in dagger kernel categories
• Algebraically compact functors
• Factorization systems as Eilenberg-Moore algebras
• Constructions of factorization systems in categories
• Nuclear and trace ideals in tensored \(^*\)-categories
• Lax factorization algebras
• Categories of continuous functors. I
• H*-algebras and nonunital Frobenius algebras: first steps in infinite-dimensional categorical quantum mechanics
• An embedding theorem for Hilbert categories
• Unique decomposition categories, Geometry of Interaction and combinatory logic
• Restriction categories. I: Categories of partial maps
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Functor ℓ2