Related papers: Monadic forgetful functors and (non-)presentabilit…

In recent work of Lindenhovius and Zamdzhiev, it was established that the category of complete operator spaces, with completely contractive linear maps as morphisms, is locally countably presentable. In this work, we extend their conclusion…

For a compact group $\mathbb{G}$, the functor from unital Banach algebras with contractive morphisms to metric spaces with 1-Lipschitz maps sending a Banach algebra $A$ to the space of $\mathbb{G}$-representations in $A$ preserves filtered…

We prove that C*-algebras which, as Banach spaces, are Grothendieck cannot be decomposed into a tensor product of two infinite-dimensional C*-algebras. By a result of Pfitzner, this class contains all von Neumann algebras and their…

The following topics are presented in these notes: Elements of Banach algebras, Banach algebras of the form $L^1(G)$, where $G$ is a locally compact group, spectrum of elements of Banach algebras, the spectral theory of compact operators on…

For unital $C^*$-algebras $A$ and $B$, we completely characterize the isometric ($*$-) automorphisms of their Banach space projective tensor product $A\otimes^\gamma B$. This leads to the characterization of inner and outer isometric…

We show that a C*-algebra is a $1$-separably injective Banach space if, and only if, it is linearly isometric to the Banach space $C_0(\Omega)$ of complex continuous functions vanishing at infinity on a substonean locally compact Hausdorff…

It is shown that the collection of weakly almost periodic functionals on the convolution algebra of a commutative Hopf von Neumann algebra is a C$^*$-algebra. This implies that the weakly almost periodic functionals on $M(G)$, the measure…

We prove a number of results of the following common flavor: for a category $\mathcal{C}$ of topological or uniform spaces with all manner of other properties of common interest (separation / completeness / compactness axioms), a group (or…

It is shown that all the approximately finite dimensional C*-algebras which are not of Type I are isomorphic as Banach spaces. This generalises the matroid case given previously by Arazy. Analogous results are obtained for various families…

We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…

C*-algebras form rather general and rich mathematical structures that can be studied with different morphisms (preserving multiplication, or not), and with different properties (commutative, or not). These various options can be used to…

Gelfand duality is a fundamental result that justifies thinking of general unital $C^*$-algebras as noncommutative versions of compact Hausdorff spaces. Inspired by this perspective, we investigate what noncommutative measurable spaces…

A Banach space characterization of simple real or complex $C^*$-algebras is given which even characterizes the underlying field. As an application, it is shown that if $\mathfrak A_1$ and $\mathfrak A_2$ are Birkhoff-James isomorphic simple…

We give an order-theoretic characterization of the essential image of the forgetful functor from the category of real/complex unital C*-algebras to the category of real/complex unital operator systems. It is based on the characterization of…

This paper gives a first step toward extending the theory of Fourier-Stieltjes algebras from groups to groupoids. If G is a locally compact (second countable) groupoid, we show that B(G), the linear span of the Borel positive definite…

We will show that Banach spaces are monadic over complete metric spaces via the unit ball functor. For the forgetful functor, one should take complete pointed metric spaces.

We study presentations of $C^*(X)$ that are evaluative over a presentation of $X$ in that $(f,p) \mapsto f(p)$ is computable. We prove existence-uniqueness theorems for such presentations. We use our methods to prove an effective…

We give a new Banach module characterization of $W^*$-modules, also known as selfdual Hilbert $C^*$-modules over a von Neumann algebra. This leads to a generalization of the notion, and the theory, of W*-modules, to the setting where the…

Building on Lin's breakthrough MIP$^{co}$ = coRE and an encoding of non-local games as universal sentences in the language of tracial von Neumann algebras, we show that locally universal tracial von Neumann algebras have undecidable…

We prove that an action $\rho:A\to M(C_0(\mathbb{G})\otimes A)$ of a locally compact quantum group on a $C^*$-algebra has a universal equivariant compactification, and prove a number of other category-theoretic results on…