Related papers: Hilbert spaces admit no finitary discrete imaginar…

We show that no faithful functor from the category of Hilbert spaces with linear isometries into the category of sets preserves directed colimits. Thus Hilbert spaces cannot form an abstract elementary class, even up to change of language.…

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.

We provide axioms that guarantee a category is equivalent to that of continuous linear functions between Hilbert spaces. The axioms are purely categorical and do not presuppose any analytical structure. This addresses a question about the…

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…

We axiomatically define (pre-)Hilbert categories. The axioms resemble those for monoidal Abelian categories with the addition of an involutive functor. We then prove embedding theorems: any locally small pre-Hilbert category whose monoidal…

We show that a metric space $X$ that, at every point, has a Gromov-Hausdorff tangent with the splitting property (i.e. every geodesic line splits off a factor $\mathbb{R}$), is universally infinitesimally Hilbertian (i.e. $W^{1,2}(X,\mu)$…

It is shown that the algebraic structure of finite Heisenberg groups associated with the tensor product of two Hilbert spaces leads to a simple demonstration valid in all Hilbert space dimensions of the impossibility of non-contextual…

This note examines the implications of randomly selecting vectors from an infinite-dimensional Hilbert space on linear independence, assuming that for all $k$, the first $k$ vectors follow an absolutely continuous law with respect to a…

A simple criterion for a functor to be finitary is presented: we call $F$ finitely bounded if for all objects $X$ every finitely generated subobject of $FX$ factorizes through the $F$-image of a finitely generated subobject of $X$. This is…

We construct some separable infinite dimensional homogeneous Hilbertian operator spaces which generalize the row and column spaces R and C. We show that separable infinite-dimensional Hilbertian JC*-triples are completely isometric to an…

We show that an equation follows from the axioms of dagger compact closed categories if and only if it holds in finite dimensional Hilbert spaces.

We introduce a notion of coarse embedding at infinity into Hilbert space for metric spaces, which is a weakening of the notion of fibred coarse embedding and a far generalization of Gromov's concept of coarse embedding. It turns out that a…

Higher idempotent completion gives a formal inductive construction of the $n$-category of finite dimensional $n$-vector spaces starting with the complex numbers. We propose a manifestly unitary construction of low dimensional higher Hilbert…

We show that (for the weak operator topology) the set of unitary operators on a separable infinite-dimensional Hilbert space is residual in the set of all contractions. The analogous result holds for isometries and the strong operator…

We establish a number of results which say, roughly, that interpretation functors preserve algebraic complexity. First we show that representation embeddings between categories of modules of finite-dimensional algebras induce embeddings of…

We argue that Hilbert spaces are not suitable to represent quantum states mathematically, in the sense that they require properties that are untenable by physical entities. We first demonstrate that the requirements posited by complex inner…

The open question of what prevents a metric space with bounded geometry from being uniformly embeddable in Hilbert space is answered here for box spaces of residually finite groups. We prove that a box space does not contain a uniformly…

We prove that over an algebraically closed field there is a representation embedding from the category of classical Kronecker-modules without the simple injective into the category of finite-dimensional modules over any…

We show that, given a metric space $(Y,d)$ of curvature bounded from above in the sense of Alexandrov, and a positive Radon measure $\mu$ on $Y$ giving finite mass to bounded sets, the resulting metric measure space $(Y,d,\mu)$ is…

We prove that Hilbert space is distortable and, in fact, arbitrarily distortable. This means that for all lambda >1 there exists an equivalent norm |.| on l_2 such that for all infinite dimensional subspaces Y of l_2 there exist x,y in Y…