Related papers: Finite dimensional Hilbert spaces are complete for…

We use the theory of approximable triangulated categories to give a condition for a proper DG-category to be reflexive in the sense of Kuznetsov and Shinder. To do this we provide another description of the completion of an approximable…

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 the de Rham Hilbert complex with mixed boundary conditions on bounded strong Lipschitz domains is closed and compact. The crucial results are compact embeddings which follow by abstract arguments using functional analysis…

We develop a notion of limit for dagger categories, that we show is suitable in the following ways: it subsumes special cases known from the literature; dagger limits are unique up to unitary isomorphism; a wide class of dagger limits can…

We prove that under a certain mild hypothesis, the DG category of D-modules on a quasi-compact algebraic stack is compactly generated. We also show that under the same hypothesis, the functor of global sections on the DG category of…

A 2-Hilbert space is a category with structures and properties analogous to those of a Hilbert space. More precisely, we define a 2-Hilbert space to be an abelian category enriched over Hilb with a *-structure, conjugate-linear on the…

We prove smoothness in the dg sense of the bounded derived category of finitely generated modules over any finite-dimensional algebra over a perfect field, hereby answering a question of Iyama. More generally, we prove this statement for…

We use a category-theoretic formulation of Aczel's Fullness Axiom from Constructive Set Theory to derive the local cartesian closure of an exact completion. As an application, we prove that such a formulation is valid in the homotopy…

We prove that any complete metric space has a unique decomposition as a direct product of a possibly finite or zero-dimensional Hilbert space and a space that does not split off lines.

We prove that the Novikov conjecture holds for any discrete group admitting an isometric and metrically proper action on an admissible Hilbert-Hadamard space. Admissible Hilbert-Hadamard spaces are a class of (possibly infinite-dimensional)…

We prove some finiteness results for discrete isometry groups $\Gamma$ of uniformly packed CAT$(0)$-spaces $X$ with uniformly bounded codiameter (up to group isomorphism), and for CAT$(0)$-orbispaces $M = \Gamma \backslash X$ (up to…

A space X is finite dimensional, locally compact and separable metrizable if and only if X has a finite basic family: continuous functions Phi_1,...,Phi_n of X to the reals, R, such that for all continuous f from X to R there are g_1,...,…

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 a universal construction of the category of finite-dimensional C*-algebras and completely positive trace-nonincreasing maps from the rig category of finite-dimensional Hilbert spaces and unitaries. This construction, which can be…

We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a…

We shall prove that the Hilbert cube cannot be separated by a weakly infinite dimensional subset. As a corollary we obtain that the complement of a weakly infinite dimensional subset of the space of complete non negatively curved metrics is…

We observe that a finitely generated algebraic algebra R (over a field) is finite dimensional if and only if the associated graded ring grR is right noetherian, if and only if grR has right Krull dimension, if and only if grR satisfies a…

Affinely closed homogeneous spaces G/H, i.e., affine homogeneous spaces that admit only the trivial affine embedding, are characterized for any affine algebraic group G. As a corollary, a description of affine G-algebras with finitely…

It is proved the existence of single-valued analytic solutions in the unit disk and multivalent analytic solutions in domains bounded by a finite collection of circles for the Riemann-Hilbert problem with coefficients of sigma-finite…

To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the…