相关论文: Associativity as Commutativity

Monads play an important role in both the syntax and semantics of modern functional programming languages. The problem of combining them has been of profound interest at least since the 90s, and different approaches have been employed to…

The notion of associativity (which differs from the straightforward generalization of the usual associativity given by the move of parentheses in the relevant expression) for operations of high arity is introduced. It is proved that the…

This work introduces a general theory of universal pseudomorphisms and develops their connection to diagrammatic coherence. The main results give hypotheses under which pseudomorphism coherence is equivalent to the coherence theory of…

The goal of this paper is to prove coherence results with respect to relational graphs for monoidal endofunctors, i.e. endofunctors of a monoidal category that preserve the monoidal structure up to a natural transformation that need not be…

This paper is addressed to logicians not familiar with category theory. It gives a new proof of coherence for symmetric monoidal closed categories, proven by Kelly and Mac Lane in early 1970s. We find this result of great importance for…

Commutativity of program code (i.e. the equivalence of two code fragments composed in alternate orders) is of ongoing interest in many settings such as program verification, scalable concurrency, and security analysis. While some have…

A characterization of the general linear equation in standard form admitting a maximal symmetry algebra is obtained in terms of a simple set of conditions relating the coefficients of the equation. As a consequence, it is shown that in its…

The equivalence postulate approach to quantum mechanics entails a derivation of quantum mechanics from a fundamental geometrical principle. Underlying the formalism there exists a basic cocycle condition, which is invariant under…

We generalize classical triangular Schubert puzzles to puzzles with convex polygonal boundary. We give these puzzles a geometric Schubert calculus interpretation and derive novel combinatorial commutativity statements, using purely…

The definition of accessible coherence is proposed. Through local measurement on the other subsystem and one way classical communication, a subsystem can access more coherence than the coherence of its density matrix. Based on the local…

We prove that the homotopy theory of parsummable categories (as defined by Schwede) with respect to the underlying equivalences of categories is equivalent to the usual homotopy theory of symmetric monoidal categories. In particular, this…

Photon subtraction and addition are experimental means of generating non-Gaussian states from Gaussian states. Coherent subtraction or addition is a combination of photon subtractions or additions. The resultant states are quite general…

Derived braids have been used to classify categorical structures based on the braid underlying a braided monoidal category V. With four-strand braids underlying the composition morphisms of tensor products of categories enriched over V,…

A recursive deformation of the boson commutation relation is introduced. Each step consists of a minimal deformation of a commutator $[a,\ad]=f_k(\cdots;\no)$ into $[a,\ad]_{q_{k+1}}=f_k(\cdots;\no)$, where $\cdots$ stands for the set of…

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…

We compute the Poisson bracket relations for the monodromy matrix of the auxiliary linear problem. If the basic Poisson bracket relations of the model contain derivatives, this computation leads to a peculiar type of symmetry breaking which…

We define a notion of a connectivity structure on an $\infty$-category, analogous to a $t$-structure but applicable in unstable contexts -- such as spaces, or algebras over an operad. This allows us to generalize notions of n-skeleta,…

For linear multivariate purely second order highla degenerated parabolic equations with univariate convex data, monotonicity of the coefficent matrices implies monotonicity of the related value functions under usual regularity and growth…

The joint ergodicity classification problem aims to characterize those sequences which are jointly ergodic along an arbitrary dynamical system if and only if they satisfy two natural, simpler-to-verify conditions on this system. These two…

Let M be a bicomplete, closed symmetric monoidal category. Let P be an operad in M, i.e., a monoid in the category of symmetric sequences of objects in M, with its composition monoidal structure. Let R be a P-co-ring, i.e., a comonoid in…