Related papers: Associativity as Commutativity
In this paper are defined cohomology-like groups that classify loop extensions satisfying a given identity in three variables for association identities, and in two variables for the case of commutativity. It is considered a large amount of…
Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we…
In categories of linear relations between finite dimensional vector spaces, composition is well-behaved only at pairs of relations satisfying transversality and monicity conditions. A construction of Wehrheim and Woodward makes it possible…
Let $B$ be a bounded self-adjoint operator and let $A$ be a nonnegative self-adjoint unbounded operator. It is shown that if $BA$ is normal, it must be self-adjoint and so must be $AB$. Commutativity is necessary and sufficient for this…
Symmetric cohomology of groups, defined by M. Staic in [2], is similar to the way one defines the cyclic cohomology for algebras. We show that there is a well-defined restriction, conjugation and transfer map in symmetric cohomology, which…
I motivate a variation (due to K. Szlach\'{a}nyi) of monoidal categories called skew-monoidal categories where the unital and associativity laws are not required to be isomorphisms, only natural transformations. Coherence has to be…
In this article, we characterise the operadic variety of commutative associative algebras over a field via a (categorical) condition: the associativity of the so-called cosmash product. This condition, which is closely related to commutator…
Three events in a probability space form a conjunctive fork if they satisfy specific constraints on conditional independence and covariances. Patterns of conjunctive forks within collections of events are characterized by means of systems…
Within the decoherence theory we investigate the physical background of the condition of the separability (diagonalizability in noncorrelated basis) of the interaction Hamiltonian of the composite system, "system plus environment". It…
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…
An operad (this paper deals with non-symmetric operads)may be conceived as a partial algebra with a family of insertion operations, Gerstenhaber's circle-i products, which satisfy two kinds of associativity, one of them involving…
Self-interactions and interaction with the environment tend to push quantum systems toward states of maximal entanglement. This is a definition of decoherence. We argue that these maximally entangled states fall into the well-defined…
We demonstrate that commutativity of numerous one-dimensional subalgebras in $W_{1+\infty}$ algebra, i.e. the existence of many non-trivial integrable systems described in recent arXiv:2303.05273 follows from the subset of relations in…
We develop a framework relating semiorthogonal decompositions of a triangulated category $\mathcal{C}$ to paths in its space of stability conditions. We prove that when $\mathcal{C}$ is the homotopy category of a smooth and proper…
An analysis is made of reality conditions within the context of noncommutative geometry. We show that if a covariant derivative satisfies a given left Leibniz rule then a right Leibniz rule is equivalent to the reality condition. We show…
Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have…
Symplectic reduction is reinterpreted as the composition of arrows in the category of integrable Poisson manifolds, whose arrows are isomorphism classes of dual pairs, with symplectic groupoids as units. Morita equivalence of Poisson…
A $q$-deformed Weyl-Heisenberg algebra is used to define a deformed displacement operator giving rise to a naturally normalized nonlinear coherent states type. Robust maximally entangled deformed coherent states are studied and the effect…
A symmetric monoidal category naturally arises as the mathematical structure that organizes physical systems, processes, and composition thereof, both sequentially and in parallel. This structure admits a purely graphical calculus. This…
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…