Related papers: Monadic pseudo BE-algebras
In this note we prove that any affine algebraic monoid can be obtained as the endomorphisms' monoid of a finite-dimensional (nonassociative) algebra.
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…
Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e. classes of finite algebras closed under finite products,…
In this expository article, we give a self-contained introduction to the wonderfully well-behaved class of pseudocompact algebras, focusing on the foundational classes of semisimple and separable algebras. We give characterizations of such…
We use the theory of Condensed Mathematics to build a condensed cohomology theory for the Weil group of a $p$-adic field. The cohomology groups are proved to be locally compact abelian groups of finite ranks in some special cases. This…
The concept of a Kleene algebra (sometimes also called Kleene lattice) was already generalized by the first author for non-distributive lattices under the name pseudo-Kleene algebra. We extend these concepts to posets and show how…
Analogue to commutants in the theory of associative algebras, one can construct a new subalgebra of vertex algebra known as a vertex algebra commutant. In this paper, for the adjoint representation $V$ of Lie algebra $sl(2,\C)$, we describe…
In this article, we give a definition for measured quantum groupoids. We want to get objects with duality extending both quantum groups and groupoids. We base ourselves on J. Kustermans and S. Vaes' works about locally compact quantum…
For finitary regular monads T on locally finitely presentable categories we characterize the finitely presentable objects in the category of T-algebras in the style known from general algebra: they are precisely the algebras presentable by…
For a given variety Var of algebras we define the variety Var of dialgebras. This construction turns to be closely related with varieties of pseudo-algebras: every Var-dialgebra can be embedded into an appropriate pseudo-algebra of the…
In this paper, we first recall the notion of (noncommutative) Poisson conformal algebras and describe some constructions of them. Then we study the formal distribution (noncommutative) Poisson algebras and coefficient (noncommutative)…
Let $A$ be a Hopf algebra in a braided category $\cal C$. Crossed modules over $A$ are introduced and studied as objects with both module and comodule structures satisfying a compatibility condition. The category $\DY{\cal C}^A_A$ of…
We characterise piecewise Boolean domains, that is, those domains that arise as Boolean subalgebras of a piecewise Boolean algebra. This leads to equivalent descriptions of the category of piecewise Boolean algebras: either as piecewise…
We show how monoidal adjunctions can be used to prove the existence of monoidal abelian envelopes of pseudo-tensor categories, in particular, those admitting a combinatorial description with certain properties. We derive concrete general…
In this paper we define and study the algebraic conterpart of sovereign monoidal categories : cosovereign Hopf algebras.
Recently it was shown that the category of cocommutative Hopf algebras over an arbitrary field $\Bbbk$ is semi-abelian. We extend this result to the category of cocommutative color Hopf algebras, i.e. of cocommutative Hopf monoids in the…
Given a pseudomonad $\mathcal{T} $, we prove that a lax $\mathcal{T} $-morphism between pseudoalgebras is a $\mathcal{T} $-pseudomorphism if and only if there is a suitable (possibly non-canonical) invertible $\mathcal{T} $-transformation.…
The category of all monads over many-sorted sets (and over other "set-like" categories) is proved to have coequalizers and strong cointersections. And a general diagram has a colimit whenever all the monads involved preserve monomorphisms…
We prove a number of results concerning monomorphisms, epimorphisms, dominions and codominions in categories of coalgebras. Examples include: (a) representation-theoretic characterizations of monomorphisms in all of these categories that…
The coefficient algebra of a finite-dimensional Lie algebra on a finite-dimensional representation is defined as the subalgebra generated by all coefficients of the corresponding characteristic polynomial. We explore connections between…