Related papers: Iterated distributive laws
A basic theory of cowreath or extended distributive laws in the bicategory of unital bimodules, is deciphered. Precisely, we give in terms of tensor product over a scalar base ring, a simplest and equivalent definition for cowreath over…
We proved in a previous article that the bar complex of an E-infinity algebra inherits a natural E-infinity algebra structure. As a consequence, a well-defined iterated bar construction B^n(A) can be associated to any algebra over an…
Building on a result by W. Rump, we show how to exploit the right-cyclic law (x.y).(x.z) = (y.x).(y.z) in order to investigate the structure groups and monoids attached with (involutive nondegenerate) set-theoretic solutions of the…
We present the building blocks that can be combined to produce tree-level S-matrix elements of a variety of theories with various spins mixed in arbitrary dimensions. The new formulas for the scattering of $n$ massless particles are given…
We study the action of monads on categories equipped with several monoidal structures. We identify the structure and conditions that guarantee that the higher monoidal structure is inherited by the category of algebras over the monad.…
We study the (so-called bilinear) factorization problem answered by a weak wreath product (of monads and, more specifically, of algebras over a commutative ring) in the works by Street and by Caenepeel and De Groot. A bilinear factorization…
We develop a graphical calculus of manifold diagrams which generalises string and surface diagrams to arbitrary dimensions. Manifold diagrams are pasting diagrams for $(\infty, n)$-categories that admit a semi-strict composition operation…
A new, self-contained, proof of a coherence result for categories equipped with two symmetric monoidal structures bridged by a natural transformation is given. It is shown that this coherence result is sufficient for…
Set-theoretic solutions of the Yang--Baxter equation form a meeting-ground of mathematical physics, algebra and combinatorics. Such a solution consists of a set $X$ and a function r:X x X --> X x X which satisfies the braid relation. We…
In a previous study, the algebraic formulation of the First Fundamental Theorem of Calculus (FFTC) is shown to allow extensions of differential and Rota-Baxter operators on the one hand, and to give rise to categorical explanations using…
We describe several methods of constructing R-matrices that are dependent upon many parameters, for example unitary R-matrices and R-matrices whose entries are functions. As an application, we construct examples of R-matrices with…
The structure groups and monoids of set-theoretic solutions to the Yang-Baxter Equation can be regarded as deformations of free abelian groups resp. monoids. In this work, we obtain explicit formulae for the growth series of the structure…
The first author proved in a previous paper that the n-fold bar construction for commutative algebras can be generalized to E_n-algebras, and that one can calculate E_n-homology with trivial coefficients via this iterated bar construction.…
A transformation is obtained which completes the unification of quadrirational Yang-Baxter maps and known integrable multi-quadratic quad equations. By combining theory from these two classes of quad-graph models we find an extension of the…
A weak entwining structure in a 2-category K consists of a monad t and a comonad c, together with a 2-cell relating both structures in a way that generalizes a mixed distributive law.A weak entwining structure can be characterized as a…
The quantum Yang-Baxter equation admits generalisations to systems of Yang-Baxter type equations called Yang-Baxter systems. Starting from algebra structures, we propose new constructions of some constant as well as the spectral-parameter…
We extend our recent work on set-theoretic solutions of the Yang-Baxter or braid relations with new results about their automorphism groups, strong twisted unions of solutions and multipermutation solutions. We introduce and study graphs of…
Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategorical version of linearly distributive categories. Essentially,…
We present a general framework for carrying out some constructions. The unifying factor is a combinatorial principle which we present in terms of a game in which the first player challenges the second player to carry out constructions which…
We define and prove isomorphisms between three combinatorial classes involving labeled trees. We also give an alternative proof by means of generating functions.