Related papers: Iterated distributive laws
We consider one dimensional block cellular automata, where the local update rules are given by Yang-Baxter maps, which are set theoretical solutions of the Yang-Baxter equations. We show that such systems are superintegrable: they possess…
If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space…
We modularly build increasingly larger fragments of the ZX-calculus by modularly adding new generators and relations, at each point, giving some concrete semantics in terms of some category of spans. This is performed using Lack's technique…
The most common geometric interpretation of the Yang-Baxter equation is by braids, knots and relevant Reidemeister moves. So far, cubes were used for connections with the third Reidemeister move only. We will show that there are…
We demonstrate that the planar real-$\beta$-deformed Super-Yang--Mills theory possesses an infinitely-dimensional Yangian symmetry algebra and thus is classically integrable. This is achieved by the introduction of the twisted coproduct…
The article presents results on the well-known problem concerning the structure of integer polynomials $p_n(z; x, y)$, which define multiplication laws in $n$-valued groups $\mathbb{G}_n$ over the field of complex numbers $\mathbb{C}$. We…
The first and shorter part of this thesis deals with the structural assumption of invertibility in a Lie groupoid. When this assumption is dropped, we obtain the notion of a Lie category: a small category, endowed with a compatible…
It is proved that MacLane's coherence results for monoidal and symmetric monoidal categories can be extended to some other categories with multiplication; namely, to relevant, affine and cartesian categories. All results are formulated in…
The tree-level S-matrix of Einstein's theory is known to have a representation as an integral over the moduli space of punctured spheres localized to the solutions of the scattering equations. In this paper we introduce three operations…
After we introduced biwreaths and biwreath-like objects in our previous paper, in the present one we define paired wreaths. In a paired wreath there is a monad $B$ and a comonad $F$ over the same 0-cell in a 2-category $\K$, so that $F$ is…
In the symmetric group on a set of size 2n, let P_{2n} denote the conjugacy class of involutions with no fixed points (equivalently, we refer to these as ``pairings'', since each disjoint cycle has length 2). Harer and Zagier explicitly…
We consider Yang-Baxter equations arising from its associative analog and study corresponding exchange relations. They generate finite-dimensional quantum algebras which have form of coupled ${\rm GL}(N)$ Sklyanin elliptic algebras. Then we…
A notion of branch-width, which generalizes the one known for graphs, can be defined for matroids. We first give a proof of the polynomial time model-checking of monadic second-order formulas on representable matroids of bounded…
The scattering-matrix for planar Yang-Mills with N=4 supersymmetry relies on the assumption that integrability holds to all orders in perturbation theory. In this note we define a map from the spectral variables x^{\pm}, parameterizing the…
We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids,…
In many applications involving binary variables, only pairwise dependence measures, such as correlations, are available. However, for multi-way tables involving more than two variables, these quantities do not uniquely determine the joint…
Braces and linear cycle sets are algebraic structures playing a major role in the classification of involutive set-theoretic solutions to the Yang-Baxter equation. This paper introduces two versions of their (co)homology theories. These…
Computational methods are an important tool for solving the Yang-Baxter equations(in small dimensions), for classifying (unifying) structures, and for solving related problems. This paper is an account of some of the latest developments on…
This paper introduces the concept of distorted monoidal categories, a generalization of monoidal and braided monoidal categories that supports non-reversible and direction-sensitive tensor structures. Unlike the classical setting, where the…
The multiplicative fragment of Linear Logic is the formal system in this family with the best understood proof theory, and the categorical models which best capture this theory are the fully complete ones. We demonstrate how the Hyland-Tan…