Related papers: Nuclear and Trace Ideals in Tensored *-Categories
A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations…
A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the…
Each symmetrically-normed ideal $\mathcal{I}$ of compact operators on a Hilbert space $H$ induces a multiplier topology $\mu^*_{\mathcal{I}}$ on the algebra $\mathcal{B}(H)$ of bounded operators. We show that under fairly reasonable…
We extend the classical notion of standardly stratified $k$-algebra (stated for finite dimensional $k$-algebras) to the more general class of rings, possibly without $1,$ with enough idempotents. We show that many of the fundamental…
We thoroughly investigate the trace ideals of projective modules over the endomorphism ring of a uniserial module. After the work of Dubrovin and Puninski, it is known that this class of rings provides examples of trace ideals of projective…
Using the symmetric monoidal closed category structure of the category of measurable spaces, in conjunction with the Giry monad which we show is a strong monad, we analyze Bayesian inference maps and their construction in relation to the…
We present here definitions and constructions basic for the theory of monoidal and tensor categories. We provide references to the original sources, whenever possible. Group-theoretical categories are used as examples
We prove that every positive trace on a countably generated *-algebra can be approximated by positive traces on algebras of generic matrices. This implies that every countably generated tracial *-algebra can be embedded into a metric…
Every bounded linear operator on a Hilbert space which is invertible modulo compact operators has a closed range and is, thus, generalized invertible. We consider the analogue question in general $C^*$-algebras and describe the closed…
Every fusion category C that is k-linear over a suitable field k, is the category of finite-dimensional comodules of a Weak Hopf Algebra H. This Weak Hopf Algebra is finite-dimensional, cosemisimple and has commutative bases. It arises as…
Cartesian differential categories were introduced to provide an abstract axiomatization of categories of differentiable functions. The fundamental example is the category whose objects are Euclidean spaces and whose arrows are smooth maps.…
We say a completely positive contractive map between two C*-algebras has order zero, if it sends orthogonal elements to orthogonal elements. We prove a structure theorem for such maps. As a consequence, order zero maps are in one-to-one…
We prove that the isomorphism problem for separable nuclear C*-algebras is complete in the class of orbit equivalence relations. In fact, already the isomorphism of simple, separable AI C*-algebras is a complete orbit equivalence relation.…
The main ideas behind nuclear supersymmetry are presented, starting from the basic concepts of symmetry and the methods of group theory in physics. We propose new, more stringent experimental tests that probe the supersymmetry…
We prove 2-categorical conservativity for any {0,T}-free fragment of MALL over its corresponding intuitionistic version: that is, that the universal map from a closed symmetric monoidal category to the *-autonomous category that it freely…
For $C^*$-algebras $A$ and $B$, we study the bi-continuity of the canonical embedding of $A^{**}\ot_{\gamma} B^{**}$ ($A^{**}\hat{\ot} B^{**}$) into $(A \ot_{\gamma} B)^{**}$ (resp. $(A \hat{\ot} B)^{**}$), and its isomorphism. Ideal…
This paper investigates the Poisson geometry associated to a cluster algebra over the complex numbers, and its relationship to compatible torus actions. We show, under some assumptions, that each Noetherian cluster algebra has only finitely…
In combinatorial commutative algebra and algebraic statistics many toric ideals are constructed from graphs. Keeping the categorical structure of graphs in mind we give previous results a more functorial context and generalize them by…
We introduce the notions of categorical integrals and categorical cointegrals of a finite tensor category $\mathcal{C}$ by using a certain adjunction between $\mathcal{C}$ and its Drinfeld center $\mathcal{Z}(\mathcal{C})$. These notions…
The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category.…