Related papers: Nuclear and Trace Ideals in Tensored *-Categories
The main result of this paper is the construction of a trace and a trace pairing for endomorphisms satisfying suitable conditions in a monoidal category. This construction is a common generalization of the trace for endomorphisms of…
We introduce a generalization of the notion of a negligible morphism and study the associated tensor ideals and thick ideals. These ideals are defined by considering deformations of a given monoidal category $\mathcal{C}$ over a local ring…
Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others…
This article introduces Hilbert $*$-categories: an abstraction of categories with similar algebraic and analytic properties to the categories of real, complex, and quaternionic Hilbert spaces and bounded linear maps. Other examples include…
This paper explores the long journey from projective tensor products of a pair of Banach spaces, passing through the definition of nuclear operators still on the realm of projective tensor products, to the of notion of trace-class operators…
In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…
Categories of relations over a regular category form a family of models of quantum theory. Using regular logic, many properties of relations over sets lift to these models, including the correspondence between Frobenius structures and…
The paper is devoted to a categorical study of the category of probabilistic metric spaces. The study is based on an isomorphic description of the category of probabilistic metric spaces. The isomorphic description was obtained in [3] and…
Let A be a unital separable simple infinite-dimensional nuclear C*-algebra with at least one tracial state. We prove that if the trace space of A has compact finite-dimensional extreme boundary then there exist unital embeddings of matrix…
The content of this paper can be roughly organized into a three-level hierarchy of generality. At the first, most general level, we introduce a new language which allows us to express various categorical structures in a systematic and…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
We show that in any symmetric monoidal category, if a weight for colimits is absolute, then the resulting colimit of any diagram of dualizable objects is again dualizable. Moreover, in this case, if an endomorphism of the colimit is induced…
We introduce the nuclear dimension of a C*-algebra; this is a noncommutative version of topological covering dimension based on a modification of the earlier concept of decomposition rank. Our notion behaves well with respect to inductive…
Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical…
Kadison and Kastler introduced a natural metric on the collection of all C*-subalgebras of the bounded operators on a separable Hilbert space. They conjectured that sufficiently close algebras are unitarily conjugate. We establish this…
We consider tracial stability, which requires that tuples of elements of a C*-algebra with a trace that nearly satisfy the relation are close to tuples that actually satisfy the relation. Here both "near" and "close" are in terms of the…
We classify $^*$-homomorphisms from nuclear $C^*$-algebras into uniform tracial sequence algebras of nuclear $\mathcal Z$-stable $C^*$-algebras via tracial data.
This paper addresses the problem of describing the structure of tensor C*-categories M with conjugates and irreducible tensor unit. No assumption on the existence of a braided symmetry or on amenability is made. Our assumptions are…
In this paper we develope a categorical theory of relations and use this formulation to define the notion of quantization for relations. Categories of relations are defined in the context of symmetric monoidal categories. They are shown to…
We classify the unital embeddings of a unital separable nuclear $C^*$-algebra satisfying the universal coefficient theorem into a unital simple separable nuclear $C^*$-algebra that tensorially absorbs the Jiang--Su algebra. This gives a new…