Related papers: Quantale-Enriched Multicategories Via Actions
In this paper we answer the question: `what kind of a structure can a general multicategory be enriched in?' The answer is, in a sense to be made precise, that a multicategory of one type can be enriched in a multicategory of the type one…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
We show that quantum operations on multi-particle systems have a non-local content; this mirrors the non-local content of quantum states. We introduce a general framework for discussing the non-local content of quantum operations, and give…
We prove that some subquotient categories of exact categories are abelian. This generalizes a result by Koenig-Zhu in the case of (algebraic) triangulated categories. As a particular case, if an exact category B with enough projectives and…
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched in the quantaloid Q, that admit a suitable Cauchy completion.…
We establish a universal complementarity relation between the capacity of classical information transmission by employing a multiparty quantum state as a multiport quantum channel, and the genuine multipartite entanglement of the quantum…
In this note, we define a recollement of additive categories, and prove that such a recollement can induce a recollement of their quotient categories. As an application, we get a recollement of quotient triangulated categories induced by…
Networks of quantum devices with coherent control over their configuration offer promising advantages in quantum information processing. So far, the investigation of these advantages assumed that the control system was initially…
Consider a finite group $G$ acting on a triangulated category $\mathcal T$. In this paper we investigate triangulated structure on the category $\mathcal T^G$ of $G$-equivariant objects in $\mathcal T$. We prove (under some technical…
Relational quantum queries are sometimes capable to effectively decide between collections of mutually exclusive elementary cases without completely resolving and determining those individual instances. Thereby the set of mutually exclusive…
Classical feedback is defined here as the knowledge by the transmitter of the quantum state of the qubit received by the receiver. Such classical feedback doubles capacities of certain memoryless quantum channels without preexisting…
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system…
Communication scenarios between two parties can be implemented by first encoding messages into some states of a physical system which acts as the physical medium of the communication and then decoding the messages by measuring the state of…
It is shown that, for a small quantaloid Q, the category of small Q-categories and Q-functors is total and cototal, and so is the category of Q-distributors and Q-Chu transforms.
A direct proof of the relation between the one-shot classical capacity and the minimal output entropy for covariant quantum channels is suggested. The structure of covariant channels is described in some detail. A simple proof of a general…
Suppose that $m$ senders want to transmit classical information to $n$ receivers with zero probability of error using a noisy multipartite communication channel. The senders are allowed to exchange classical, but not quantum, messages among…
Bipartite operations underpin both classical communication and entanglement generation. Using a superposition of classical messages, we show that the capacity of a two-qubit operation for error-free entanglement-assisted bidirectional…
This dissertation is devoted to a study of adjunctions concerning categories enriched over a quantaloid Q (or Q-categories for short), with the following types of adjunctions involved: (1) adjoint functors between Q-categories; (2) adjoint…
Entanglement and entanglement-assisted are useful resources to enhance the mutual information of the Pauli channels, when the noise on consecutive uses of the channel has some partial correlations. In this paper, We study quantum…
We enhance the quandle counting invariants of oriented classical and virtual knots and links using a construction similar to quandle modules but inspired by symplectic quandle operations rather than Alexander quandle operations. Given a…