Related papers: Concrete Foundations for Categorical Quantum Physi…
Genuine multipartite entanglement is of great importance in quantum information, especially from the experimental point of view. Nevertheless, it is difficult to construct genuine multipartite entangled states systematically, because the…
The concept of a crossed tensor product of algebras is studied from a few points of views. Some related constructions are considered. Crossed enveloping algebras and their representations are discussed. Applications to the noncommutative…
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with…
A general result relating skew monoidal structures and monads is proved. This is applied to quantum categories and bialgebroids. Ordinary categories are monads in the bicategory whose morphisms are spans between sets. Quantum categories…
Two successive generalizations of the usual tensor products are given. One can be constructed for arbitrary binary operations, and not only for semigroups, groups or vector spaces. The second one, still more general, is constructed for…
According to classical physics particles are basic building blocks of the world. Classical particles are distinguishable objects, individuated by physical characteristics. By contrast, in quantum mechanics the standard view is that…
A nonlinear change of basis allows to show that the non-standard quantum deformation of the (3+1) Poincare algebra has a bicrossproduct structure. Quantum universal R-matrix, Pauli-Lubanski and mass operators are presented in the new basis.
We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any…
In this sequence of papers, noncommutative analysis is used to give a consistent axiomatic approach to a unified conceptual foundation of classical and quantum physics. The present Part I defines the concepts of observables, states and…
In a categorification of tensor products of fundamental representations of quantum sl(k) via highest weight categories, the indecomposable tilting modules descend to the canonical basis. Since projective functors map tilting modules to…
We show that finite-dimensional order unit spaces equipped with a continuous sequential product as defined by Gudder and Greechie are homogeneous and self-dual. As a consequence of the Koecher-Vinberg theorem these spaces therefore…
Classically general covariance is found from the idea that a vector is a physical quantity which exists independently of choice of coordinate system and is unchanged by a change of coordinate system. It is often assumed that there exists…
Abstract clones serve as an algebraic presentation of the syntax of a simple type theory. From the perspective of universal algebra, they define algebraic theories like those of groups, monoids and rings. This link allows one to study the…
We present a general formalism with the aim of describing the situation of an entity, how it is, how it reacts to experiments, how we can make statistics with it, and how it changes under the influence of the rest of the universe. Therefore…
In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this…
By employing the external Kasparov product, Hawkins, Skalski, White and Zacharias constructed spectral triples on crossed product C$^\ast$-algebras by equicontinuous actions of discrete groups. They further raised the question for whether…
Entanglement is a well known fundamental resource in quantum information. Here the following question is addressed : which are the deeper roots of entanglement that may help in its better understanding and use ? The answer is that one can…
We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with…
In fairly elementary terms this paper presents, and expands upon, a recent result by Garner by which the notion of topologicity of a concrete functor is subsumed under the concept of total cocompleteness of enriched category theory.…
A quadratic algebra is a homogeneous algebra generated by its elements of degree 1. Manin has endowed the category of quadratic algebras with two tensor products. These structures have been adapted to operads by Ginsburg and Kapranov.…