Related papers: Nuclear and Trace Ideals in Tensored *-Categories
We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…
The Pinsker subgroup of an abelian group with respect to an endomorphism was introduced in the context of algebraic entropy. Motivated by the nice properties and characterizations of the Pinsker subgroup, we generalize its construction in…
In this paper, we introduce the notion of a von Neumann category, as a generalization and categorification of von Neumann algebra. A von Neumann category is a premonoidal category with compatible dagger structure which embeds as a double…
A variant of the trace in a monoidal category is given in the setting of closed monoidal derivators, which is applicable to endomorphisms of fiberwise dualizable objects. Functoriality of this trace is established. As an application, an…
We introduce categories of extended Gaussian maps and Gaussian relations which unify Gaussian probability distributions with relational nondeterminism in the form of linear relations. Both have crucial and well-understood applications in…
For $ C^*$-algebras $ \mathfrak{A}, A$ and $ B $ where $ A $ and $ B $ are $ \mathfrak{A} $-bimodules with compatible actions, we consider amalgamated $ \mathfrak{A} $-module tensor product of $ A $ and $ B $ and study its relation with the…
We give a natural-deduction-style type theory for symmetric monoidal categories whose judgmental structure directly represents morphisms with tensor products in their codomain as well as their domain. The syntax is inspired by Sweedler…
We show that positive elements of a Pedersen ideal of a tensor product can be approximated in a particularly strong sense by sums of tensor products of positive elements. This has a range of applications to the structure of tracial cones…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
Categorification is the process of finding category-theoretic analogs of set-theoretic concepts by replacing sets with categories, functions with functors, and equations between functions by natural isomorphisms between functors, which in…
We conduct a systematic study of traces on locally compact groups, in particular traces on their universal and reduced C*-algebras. We introduce the trace kernel, and examine its relation to the von Neumann kernel and to small-invariant…
This article continues the investigation of the tracial geometry of classifiable $\mathrm{C}^*$-algebras that have real rank zero and stable rank one. Using the language of optimal transport, we describe several situations in which the…
We consider inductive systems of C*-algebras with completely positive contractive connecting maps. We define a condition, called C*-encoding, which is sufficient for the limit of the system to be completely order isomorphic to a C*-algebra…
Category theory is famous for its innovative way of thinking of concepts by their descriptions, in particular by establishing universal properties. Concepts that can be characterized in a universal way receive a certain quality seal, which…
We define the affinization of an arbitrary monoidal category $\mathcal{C}$, corresponding to the category of $\mathcal{C}$-diagrams on the cylinder. We also give an alternative characterization in terms of adjoining dot generators to…
By the Lefschetz fixed point theorem, if an endomorphism of a topological space is fixed-point-free, then its Lefschetz number vanishes. This necessary condition is not usually sufficient, however; for that we need a refinement of the…
We develop the theory of categories of measurable fields of Hilbert spaces and bounded fields of bounded operators. We examine classes of functors and natural transformations with good measure theoretic properties, providing in the end a…
We introduce a natural concept of positive definiteness for bundle maps between Fell bundles over (possibly different) discrete groups and describe several examples. Such maps induce completely positive maps between the associated full…
The two main approaches to the study of irreducible representations of orders (via traces and Poisson orders) have so far been applied in a completely independent fashion. We define and study a natural compatibility relation between the two…
We generalize Jones' planar algebras by internalising the notion to a pivotal braided tensor category $\mathcal{C}$. To formulate the notion, the planar tangles are now equipped with additional `anchor lines' which connect the inner circles…