相关论文: Iterated distributive laws
We extend the free cornering of a symmetric monoidal category, a double categorical model of concurrent interaction, to support branching communication protocols and iterated communication protocols. We validate our constructions by showing…
We begin a systematic study of the enumerative combinatorics of mixed succession rules, which are succession rules such that, in the associated generating tree, the nodes are allowed to produce their sons at several different levels…
A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability. At a technical level, the problem arises from the fact that there is a no distributive law between the powerset monad and…
We introduce a new variety of set-theoretic non-associative algebras, P{\l}onka bi-magmas, to describe and classify all solutions of the set-theoretic Yang-Baxter (YB) equation of Baaj-Long-Skandalis (BLS) type. We also study new classes of…
Recently, Boehm and Stefan constructed duplicial (paracyclic) objects from distributive laws between (co)monads. Here we define the category of factorisations of a distributive law, show that it acts on this construction, and give some…
The coalgebraic modelling of alternating automata and of probabilistic automata has long been obstructed by the absence of distributive laws of the powerset monad over itself, respectively of the powerset monad over the finite distribution…
In the first part, we focus on indecomposable involutive solutions of the Yang-Baxter equation whose permutation group forces them to be uniconnected. Indecomposable involutive solutions with a permutation group isomorphic to a dihedral…
We introduce non-degenerate solutions of the Yang-Baxter equation in the setting of symmetric monoidal categories. Our theory includes non-degenerate set-theoretical solutions as basic examples. However, infinite families of non-degenerate…
Containers are used to carve out a class of strictly positive data types in terms of shapes and positions. They can be interpreted via a fully-faithful functor into endofunctors on Set. Monadic containers are those containers whose…
An integrable field theory, due to path-independence on the space-time plane, should yield together with an infinite set of independent conserved charges also similar dual charges determining the boundary and defect contributions. On the…
We extend the open games framework for compositional game theory to encompass also mixed strategies, making essential use of the discrete probability distribution monad. We show that the resulting games form a symmetric monoidal category,…
By developing the Tanaka theory for rank 2 distributions, we completely classify classical Monge equations having maximal finite-dimensional symmetry algebras with fixed (albeit arbitrary) pair of its orders. Investigation of the…
We extend the basic concepts of Street's formal theory of monads from the setting of 2-categories to that of double categories. In particular, we introduce the double category Mnd(C) of monads in a double category C and define what it means…
Given an associative multiplication in matrix algebra compatible with the usual one or, in other words, linear deformation of matrix algebra, we construct a solution to the classical Yang-Baxter equation. We also develop a theory of such…
Given a monad and a comonad, one obtains a distributive law between them from lifts of one through an adjunction for the other. In particular, this yields for any bialgebroid the Yetter-Drinfel'd distributive law between the comonad given…
Categories can be identified -- up to isomorphism -- with polynomial comonads on Set. The left Kan extension of a functor along itself is always a comonad -- called the density comonad -- so it defines a category when its carrier is…
We employ a solution of the Yang-Baxter equation to construct invariants for knot-like objects. Specifically, we consider a Yang-Baxter state model for the sl(n) polynomial of classical links and extend it to oriented singular links and…
A connection between the Yang-Baxter relation for maps and the multi-dimensional consistency property of integrable equations on quad-graphs is investigated. The approach is based on the symmetry analysis of the corresponding equations. It…
We recall the concept of Baxterisation of an R-matrix, or of a monodromy matrix, which corresponds to build, from one point in the $ R$-matrix parameter space, the algebraic variety where the spectral parameter(s) live. We show that the…
In this paper, we present an infinity-categorical version of the theory of monoidal categories. We show that the infinity category of spectra admits an essentially unique monoidal structure (such that the tensor product preserves colimits…