Related papers: Quantale-Enriched Multicategories Via Actions
Q-system completion can be thought of as a notion of higher idempotent completion of C*-2-categories. We introduce a notion of quantum bi-elements, and study Q-system completion in the context of compact quantum groups. We relate our notion…
We give a general notion of combinatory completeness with respect to a faithful cartesian club and use it systematically to obtain characterisations of a number of different kinds of applicative system. Each faithful cartesian club…
Various concerns suggest looking for internal co-categories in categories with strong logical structure. It turns out that in any coherent category, all co-categories are co-equivalence relations.
We extend the notion of exact completion on a weakly lex category to elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which freely adds effective quotients and extensional equality. We note that…
We consider communication scenarios with multiple senders and a single receiver. Focusing on communication tasks where the distinguishability or anti-distinguishability of the sender's input is bounded, we show that quantum strategies…
In this article, we investigate the additivity phenomenon in the dynamic capacity of a quantum channel for trading classical communication, quantum communication and entanglement. Understanding such additivity property is important if we…
This note derives the stochastic differential equations and partial differential equation of general hybrid quantum--classical dynamics from the theory of continuous measurement and general (non-Markovian) feedback. The advantage of this…
A Q-system in a C* 2-category is a unitary version of a separable Frobenius algebra object and can be viewed as a unitary version of a higher idempotent. We define a higher unitary idempotent completion for C* 2-categories called Q-system…
The slogan information is physical has been so successful that it led to some excess. Classical and quantum information can be thought of independently of any physical implementation. Pure information tasks can be realized using such…
The transmission of classical information over a classical channel gave rise to the classical capacity theorem with the optimal rate in terms of the classical mutual information. Despite classical information being a subset of quantum…
In this paper we realize the dynamical categories introduced in our previous paper as categories of modules over bialgebroids; we study the bialgebroids arising in this way. We define quasitriangular structure on bialgebroids and present…
Neural networks are being used to improve the probing of the state spaces of many particle systems as approximations to wavefunctions and in order to avoid the recurring sign problem of quantum monte-carlo. One may ask whether the usual…
Real-enriched categories are categories with real numbers as enrichment. Precisely, a real-enriched category is a category enriched over the commutative and unital quantale composed of the unit interval and a continuous t-norm. These notes…
The ability to identify cause-effect relations is an essential component of the scientific method. The identification of causal relations is generally accomplished through statistical trials where alternative hypotheses are tested against…
Quantum resources may provide advantage over their classical counterparts. We say this as quantum advantage. Here we consider a single communication task to study different approaches of observing quantum advantage. We say this setting as a…
We show that the theory of quantales and quantic nuclei motivate new results on star operations, semistar operations, semiprime operations, ideal systems, and module systems, and conversely the latter theories motivate new results on…
Motivated by various systems in which quantum effects occur in classical backgrounds, we consider the dynamics of a classical particle as described by a coherent state that is coupled to a quantum bath via bi-quadratic interactions. We…
Quantum mechanics allows operations to be in indefinite causal order. Recently there have been active discussions on enhanced communication strategies through exotic causal structures. In light of this, through the process matrix formalism,…
We develop universal algebra over an enriched category $\mathcal K$ and relate it to finitary enriched monads over $\mathcal K$. Using it, we deduce recent results about ordered universal algebra where inequations are used instead of…
The correspondence of a new form of quantum mechanics based on a quantum version of the action principle, which was proposed earlier [arXiv:0807.3508], with the ordinary quantum mechanics is established. New potentialities of the quantum…