相关论文: Monads and distributive laws for Rota-Baxter and d…

The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition,…

We introduce basic notions and results about relation liftings on categories enriched in a commutative quantale. We derive two necessary and sufficient conditions for a 2-functor T to admit a functorial relation lifting: one is the…

Given a vector space with two multiplications, one commutative the other anticommutative, possibly connected by a distributive law, the depolarization principle allows to look at this triplet through a single nonassociative multiplication.…

A Rota-Baxter Leibniz algebra is a Leibniz algebra $(\mathfrak{g},[~,~]_{\mathfrak{g}})$ equipped with a Rota-Baxter operator $T : \mathfrak{g} \rightarrow \mathfrak{g}$. We define representation and dual representation of Rota-Baxter…

Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…

The generalized Poisson distribution is well known to be a compound Poisson distribution with Borel summands. As a generalization we present closed formulas for compound Bartlett and Delaporte distributions with Borel summands and a…

Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…

Primary cohomology operations, i.e., elements of the Steenrod algebra, are given by homotopy classes of maps between Eilenberg--MacLane spectra. Such maps (before taking homotopy classes) form the topological version of the Steenrod…

We show that the existence of a first-order formula separating two monadic second order formulas over countable ordinal words is decidable. This extends the work of Henckell and Almeida on finite words, and of Place and Zeitoun on…

In this paper, first we revisit the formal integration of Lie algebras, which give rise to braces in some special cases. Then we establish the formal integration theory for complete Rota-Baxter Lie algebras, that is, we show that there is a…

We give an account of the basic combinatorial structure underlying the notion of type dependency. We do so by considering the category of all dependent sequent calculi, and exhibiting it as the category of algebras for a monad on a presheaf…

Given a Hopf algebra in a symmetric monoidal category with duals, the category of modules inherits the structure of a monoidal category with duals. If the notion of algebra is replaced with that of monad on a monoidal category with duals…

Language theory, symbolic dynamics, modelisation of viral insertion into the genetic code of a host cell motivate the introduction of new types of bialgebras whose coalgebra parts are not necessarily coassociative. One of the aim of this…

The concept of integro-differential algebra has been introduced recently in the study of boundary problems of differential equations. We generalize this concept to that of integro-differential algebra with a weight, in analogy to the…

Starting from a biased definition of a properad, we describe explicitly algebras over the cobar construction of a properad. Equivalent description in terms of solutions of generalized master equations, which can be interpreted as…

A new notion of an optimal algebra for a first order coordinate differential was introduced in \cite{BKO}. Some relevant examples are indicated. Quadratic identities in the optimal algebras and calculi on quadratic algebras are studied.…

In this article, we study Dorroh extensions of algebras and Dorroh extensions of coalgebras. Their structures are described. Some properties of these extensions are presented. We also introduce the finite duals of algebras and modules which…

Lada introduced strong homotopy algebras to describe the structures on a deformation retract of an algebra in topological spaces. However, there is no satisfactory general definition of a morphism of strong homotopy (s.h.) algebras. Given a…

We define a class of algebras describing links of binary semi-isolating formulas on a set of realizations for a family of 1-types of a complete theory. These algebras include algebras of isolating formulas considered before. We prove that a…

Tangent categories provide a categorical axiomatization of the tangent bundle. There are many interesting examples and applications of tangent categories in a variety of areas such as differential geometry, algebraic geometry, algebra, and…