Related papers: Semi-biproducts of monoids

In this note we consider the monoid $\mathcal{PODI}_n$ of all monotone partial permutations on $\{1,\ldots,n\}$ and its submonoids $\mathcal{DP}_n$, $\mathcal{POI}_n$ and $\mathcal{ODP}_n$ of all partial isometries, of all order-preserving…

Let $R$ be a commutative ring with identity, and let $\R(R)$ denote the semiring of radical ideals of $R$. The radical functor $\R$, from the category of $R$-modules $R{-}\boldsymbol{\sf{Mod}}$ to the category of $\R(R)$-semimodules…

In this paper we introduce and study Miyashita action in the context of monoidal categories aiming by this to provide a common framework of previous studies in the literature. We make a special emphasis of this action on Azumaya monoids. To…

We investigate the notion of soficity for monoids. A group is sofic as a group if and only if it is sofic as a monoid. All finite monoids, all commutative monoids, all free monoids, all cancellative one-sided amenable monoids, all…

The 6-element Brandt monoid $B_2^1$ admits a unique addition under which it becomes an additively idempotent semiring. We show that this addition is a term operation of $B_2^1$ as an inverse semigroup. As a consequence, we exhibit an easy…

Let $(X,\bullet )$ be a groupoid (binary algebra) and $Bin(X\dot{)}$ denote the collection of all groupoids defined on $X$. We introduce two methods of factorization for this binary system under the binary groupoid product \textquotedblleft…

The central object studied in this paper is a multiplier bimonoid in a braided monoidal category C. Adapting the philosophy of Janssen and Vercruysse, and making some mild assumptions on the category C, we consider a category M whose…

By providing a suitable generalization of Newman's bijective correspondence known for cocommutative Hopf algebras, we prove that the category of cocommutative Hopf monoids in any abelian symmetric monoidal category is semi-abelian, once…

We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…

We introduce an algebraic extension $\boldsymbol{B}_{\omega}^{\mathscr{F}}$ of the bicyclic monoid for an arbitrary $\omega$-closed family $\mathscr{F}$ subsets of $\omega$ which generalizes the bicyclic monoid, the countable semigroup of…

Let $G$ be a finite group. A finite unordered sequence $S = g_1 \boldsymbol{\cdot} \ldots \boldsymbol{\cdot} g_{\ell}$ of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their…

In this paper, we classify finite categories with two objects such that one of the endomorphism monoids is a group. We prove that having a group on one side affects the structure of the other endomorphism monoid, and we prove that it is…

A subset A of a semigroup S is called a medial subset of S if xaby is in A if and only if xbay is in A for every elements x, y, a, b of S. In the paper we show how we can construct the commutative monoid congruences of a semigroup S by the…

Morita equivalence of twisted inverse semigroup actions and discrete twisted partial actions are introduced. Morita equivalent actions have Morita equivalent crossed products.

An $\mathcal{A}$-semigroup is a numerical semigroup without consecutive small elements. This work generalizes this concept to finite-complement submonoids of an affine cone $\mathcal{C}$. We develop algorithmic procedures to compute all…

For a groupoid $S$ with elements $a$ and $b$, if $ba = a$, then $b$ is a left identity of $a$ and $a$ is a right zero of $b$. We define the left identity set of $a$ to be the set of all left identities of $a$ in $S$, and similarly for the…

We demonstrate that categories of continuous actions of topological monoids on discrete spaces are Grothendieck toposes. We exhibit properties of these toposes, giving a solution to the corresponding Morita-equivalence problem. We…

We propose a new definition for the semidirect product of association schemes, generalizing work of Bang, Hirasaka, and Song. We define an action of one scheme on another, and show how one can use such an action to construct all semidirect…

Simple optics are defined using actions of monoidal categories. Compound optics arise, for instance, as natural transformations between polynomial functors. Since a monoidal category is a special case of a bicategory, we formulate complex…

With every reduced $E$-Fountain semigroup $S$ which satisfies the generalized right ample condition we associate a category with zero morphisms $\mathcal{C}(S)$. Under some assumptions we prove an isomorphism of $\Bbbk$-algebras $\Bbbk…