Related papers: Linear compactness and combinatorial bialgebras
Multiplier bimonoids (or bialgebras) in arbitrary braided monoidal categories are defined. They are shown to possess monoidal categories of comodules and modules. These facts are explained by the structures carried by their induced…
Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…
We start from any small strict monoidal braided Ab-category and extend it to a monoidal nonstrict braided Ab-category which contains braided bialgebras. The objects of the original category turn out to be modules for these bialgebras
We study the bialgebra structures on quiver coalgebras and the monoidal structures on the categories of locally nilpotent and locally finite quiver representations. It is shown that the path coalgebra of an arbitrary quiver admits natural…
We introduce the categories of infinitesimal Hopf modules and bimodules over an infinitesimal bialgebra. We show that they correspond to modules and bimodules over the infinitesimal version of the double. We show that there is a natural,…
Milner's bigraphs are a general framework for reasoning about distributed and concurrent programming languages. Notably, it has been designed to encompass both the pi-calculus and the Ambient calculus. This paper is only concerned with…
Let $B$ be a bialgebra, and $A$ a left $B$-comodule algebra in a braided monoidal category $\Cc$, and assume that $A$ is also a coalgebra, with a not-necessarily associative or unital left $B$-action. Then we can define a right $A$-action…
The paper presents a detailed description of duality for braided algebras, coalgebras, bialgebras, Hopf algebras and their modules and comodules in the infinite setting. Assuming that the dual objects exist, it is shown how a given braiding…
We describe (braided-)commutative algebras with non-degenerate multiplicative form in certain braided monoidal categories, corresponding to abelian metric Lie algebras (so-called Drinfeld categories). We also describe local modules over…
Numerical characteristics of polynomial identities of left nilpotent algebras are examined. Previously, we came up with a construction which, given an infinite binary word, allowed us to build a two-step left nilpotent algebra with…
We construct new examples of non-nil algebras with any number of generators, which are direct sums of two locally nilpotent subalgebras. As all previously known examples, our examples are contracted semigroup algebras and the underlying…
It is well known that braided monoidal categories are the categorical algebras of the little two-dimensional disks operad. We introduce involutive little disks operads, which are Z/2Z-orbifold versions of the little disks operads. We…
Weak (Hopf) bialgebras are described as (Hopf) bimonoids in appropriate duoidal (also known as 2-monoidal) categories. This interpretation is used to define a category wba of weak bialgebras over a given field. As an application, the "free…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There…
We endow the category of bialgebras over a pair of operads in distribution with a cofibrantly generated model category structure. We work in the category of chain complexes over a field of characteristic zero. We split our construction in…
We define the notions of unital/counital/biunital infinitesimal anti-symmetric bialgebras and coFrobenius bialgebras and discuss their algebraic properties. We also define the notion of a graded 2D open-closed TQFT. These structures arise…
We study dualities between Lie algebras and Lie coalgebras, and their respective (co)representations. To allow a study of dualities in an infinite-dimensional setting, we introduce the notions of Lie monads and Lie comonads, as special…
The species of finite topological spaces admits two graded bimonoid structures, recently defined by F. Fauvet, L. Foissy, and the second author. In this article, we define a doubling of this species in two different ways. We build a…
We introduce ($\ell$-)bimonoids as ordered algebras consisting of two compatible monoidal structures on a partially ordered (lattice-ordered) set. Bimonoids form an appropriate framework for the study of a general notion of complementation,…
The present paper is devoted to the study of dimonoids, algebraic structures with two associative binary operations that satisfy a prescribed system of axioms. We investigate the properties of dual dimonoids. In the class of noncommutative…