Related papers: Quantale-valued maps and partial maps
Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…
Let $M$ be a quantizable symplectic manifold acted on by $T=(S^1)^r$ in a Hamiltonian fashion and $J$ a moment map for this action. Suppose that the set $M^{T}$ of fixed points is discrete and denote by ${\alpha}_{pj}\in{\mathbb Z}^r$ the…
A quantum symmetric pair is a quantization of the symmetric pair of universal enveloping algebras. Recent development suggests that most of the theory for quantum groups can be generalised to the setting of quantum symmetric pairs. In this…
A map $X$ on a surface is called vertex-transitive if the automorphism group of $X$ acts transitively on the set of vertices of $X$. If the face-cycles at all the vertices in a map are of same type then the map is called semi-equivelar. In…
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…
In this paper we prove that a multiplicative quadratic map between a unital ring $K$ and a field $L$ is induced by a homomorphism from $K$ into $L$ or a composition algebra over $L$. Especially we show that if $K$ is a field, then every…
Interest in combinatorial interpretations of mathematical entities stems from the convenience of the concrete models they provide. Finding a bijective proof of a seemingly obscure identity can reveal unsuspected significance to it. Finding…
We show that finite dimensional half-quantum groups at roots of unity corresponding to simple Lie algebras having symmetric Cartan matrix are of wild representation type, except for sl_2. Moreover, the underlying associative algebra is…
We provide a combinatorial description of the monoidal category generated by the fundamental representation of the small quantum group of $\mathfrak{sl}_2$ at a root of unity $q$ of odd order. Our approach is diagrammatic, and it relies on…
For any small involutive quantaloid Q we define, in terms of symmetric quantaloid-enriched categories, an involutive quantaloid Rel(Q) of Q-sheaves and relations, and a category Sh(Q) of Q-sheaves and functions; the latter is equivalent to…
We describe the notion of a quantum family of maps of a quantum space and that of a quantum commutant of such a family. Quantum commutants are quantum semigroups defined by a certain universal property. We give a few examples of these…
Quantum families of maps between quantum spaces are defined and studied. We prove that quantum semigroup (and sometimes quantum group) structures arise naturally on such objects out of more fundamental properties. As particular cases we…
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…
In quantum mechanics, often it is important for the representation of quantum system to study the structure-preserving bijective maps of the quantum system. Such maps are also called isomorphisms or automorphisms. In this note, using the…
We study properties of the cubical Joyal model structures on cubical sets by means of a combinatorial construction which allows for convenient comparisons between categories of cubical sets with and without symmetries. In particular, we…
For any small quantaloid $\Q$, there is a new quantaloid $\D(\Q)$ of diagonals in $\Q$. If $\Q$ is divisible then so is $\D(\Q)$ (and vice versa), and then it is particularly interesting to compare categories enriched in $\Q$ with…
A finite graph $\Gamma$ is called $G$-symmetric if $G$ is a group of automorphisms of $\Gamma$ which is transitive on the set of ordered pairs of adjacent vertices of $\Gamma$. We study a family of symmetric graphs, called the unitary…
We consider the class of quasiprojective varieties admitting a dominant morphism onto a curve with negative Euler characteristic. The existence of such a morphism is a property of the fundamental group. We show that for a variety in this…
The quantal algebra combines classical and quantum mechanics into an abstract structurally unified structure. The structure uses two products: one symmetric and one anti-symmetric. The local structure of spacetime is contained in the…
The theory of symmetry of quantum mechanical systems is applied to study the structure and properties of several classes of relevant maps in quantum information theory: CPTP, PPT and Schwarz maps. First, we develop the general structure…