Related papers: Small monoids generating varieties with uncountabl…
We study integrals of Hopf monoids in duoidal endohom categories of naturally Frobenius map monoidales in monoidal bicategories. We prove two Maschke type theorems, relating the separability of the underlying monoid and comonoid,…
MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative…
Let $[n]$ be a finite chain $\{1, 2, \ldots, n\}$, and let $\mathcal{LS}_{n}$ be the semigroup consisting of all isotone and order-decreasing partial transformations on $[n]$. Moreover, let $\mathcal{SS}_{n} = \{\alpha \in \mathcal{LS}_{n}…
Aguiar and Mahajan's bimonoids A in a duoidal category M are studied. Under certain assumptions on M, the Fundamental Theorem of Hopf Modules is shown to hold for A if and only if the unit of A determines an A-Galois extension. Our findings…
In this note we give an example of affine quotient $G/H$ where $G$ is an affine algebraic group over an algebraically closed field of characteristic 0 and $H$ is a unipotent subgroup not contained in the unipotent radical of $G$. Some…
A smallish monoid M is a monoid that has a unique 0-minimal ideal I(M) that is a 0-simple subsemigroup and such that its regular J -classes are the group of units and the two in I(M). We show constructively how to embed an arbitrary finite…
We study the Cox ring and monoid of effective divisor classes of $\overline{M}_{0,n} = Bl\mathbb{P}^{n-3}$, over a ring R. We provide a bijection between elements of the Cox ring, not divisible by any exceptional divisor section, and…
Let $\md^b(A)$ be the derived category of a finite dimensional basic algebra $A$ with finite global dimension. We construct the Lie algebra arising from the 2-periodic version $\mk_2(\mp(A))$ of $\mk^b(\mp(A))$ in term of constructible…
A commutative residuated lattice A is said to be subidempotent if the lower bounds of its neutral element e are idempotent (in which case they naturally constitute a Brouwerian algebra A*). It is proved here that epimorphisms are surjective…
After a review of the concept of "monad with arities" we show that the category of algebras for such a monad has a canonical dense generator. This is used to extend the correspondence between finitary monads on sets and Lawvere's algebraic…
In [Sh:89] we, answering a question of Monk, have explicated the notion of ``a Boolean algebra with no endomorphisms except the ones induced by ultrafilters on it'' (see section 2 here) and proved the existence of one with character density…
An axial algebra over the field $\mathbb F$ is a commutative algebra generated by idempotents whose adjoint action has multiplicity-free minimal polynomial. For semisimple associative algebras this leads to sums of copies of $\mathbb F$.…
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…
A semigroup variety is said to be a Rees-Sushkevich variety if it is contained in a periodic variety generated by 0-simple semigroups. S. I. Kublanovsky has proven that a variety V is a Rees-Sushkevich variety if and only it does not…
We introduce notions of stationarily ordered types and theories; the latter generalizes weak o-minimality and the first is a relaxed version of weak o-minimality localized at the locus of a single type. We show that forking, as a binary…
The class of minimal non-elementary Lie algebras over a field F are studied. These are classified when F is algebraically closed and of characteristic different from 2,3. The solvable algebras in this class are also characterised over any…
We develop the theory of weak bimonoids in braided monoidal categories and show them to be quantum categories in a certain sense. Weak Hopf monoids are shown to be quantum groupoids. Each separable Frobenius monoid R leads to a weak Hopf…
In an earlier work, the author observed that Boolean inverse semi-groups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of…
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in aleph_alpha for some (equivalently for every) ordinal alpha>0. Another central result here is, in this context:…
We define and explore semireflection monoids on a finite-dimensional vector space. These are monoids generated by semireflections: linear maps fixing a subspace of codimension 1. We mostly focus on the case of projection monoids (where the…