Schreier split epimorphisms between monoids

We explore some properties of Schreier split epimorphisms between monoids, which correspond to monoid actions. In particular, we prove that the split short five lemma holds for monoids, when it is restricted to Schreier split epimorphisms, and that any Schreier reflexive relation is transitive, partially recovering in monoids a classical property of Mal’tsev varieties.     

Constructing an ample monoid from a weak Loganathan pair

This paper is based on a categorical approach to the study of inverse monoids. The main idea is to extend this to the class called ample monoids (type A monoids). We generalise the notion of a Loganathan category pair to obtain what we call a weak Loganathan category pair and take two categories associated with an ample monoid and examine their properties. We prove that each of these categories together with its subcategory of idempotents forms a weak Loganathan category pair. Then we construct an ample monoid from them.     

Projectivity of acts and morita equivalence of monoids

In this paper we shall consider a non-additive category of A-modules, that is, instead of a ring A we take a monoid A which acts on sets from the left. These objects will be called A-acts. We investigate indecomposable A-acts and generators and characterize projectives in this category. For a given monoid A we describe all monoids B such that the category of B-acts is equivalent to the category of A-acts. In particular we find that equivalence of these categories yields an isomorphism between the monoids A and B if A is a group or finite or commutative. This differs from the additive case where the categories of modules over a commutative field and its ring of nxn matrices are equivalent. Finally we give examples of non-isomorphic monoids A and B such that the corresponding categories are equivalent.     

Universal constructions for Hopf algebras

The category of Hopf monoids over an arbitrary symmetric monoidal category as well as its subcategories of commutative and cocommutative objects respectively are studied, where attention is paid in particular to the following questions: (a) When are the canonical forgetful functors of these categories into the categories of monoids and comonoids respectively part of an adjunction? (b) When are the various subcategory-embeddings arsing naturally in this context reflexive or coreflexive? (c) When does a category of Hopf monoids have all limits or colimits? These problems are also shown to be intimately related. Particular emphasis is given to the case of Hopf algebras, i.e., when the chosen symmetric monoidal category is the category of modules over a commutative unital ring.     

Weak bimonoids in duoidal categories

Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base category split, they are shown to induce weak bimonads (in four symmetric ways). As a consequence, they have four separable Frobenius base (co)monoids, two in each of the underlying monoidal categories. Hopf modules over weak bimonoids are defined by weakly lifting the induced comonad to the Eilenberg–Moore category of the induced monad. Making appropriate assumptions on the duoidal category in question, the fundamental theorem of Hopf modules is proven which says that the category of modules over one of the base monoids is equivalent to the category of Hopf modules if and only if a Galois-type comonad morphism is an isomorphism.     

Cohomology monoids of monoids with coefficients in semimodules II

We relate the old and new cohomology monoids of an arbitrary monoid M with coefficients in semimodules over M, introduced in the author’s previous papers, to monoid and group extensions. More precisely, the old and new second cohomology monoids describe Schreier extensions of semimodules by monoids, and the new third cohomology monoid is related to a certain group extension problem.     

$$\lambda $$ λ -Semidirect products of inverse monoids are weakly Schreier extensions

Semigroup Forum - A split extension of monoids with kernel $$k :N \rightarrow G$$ , cokernel $$e :G \rightarrow H$$ and splitting $$s :H \rightarrow G$$ is weakly Schreier if each element $$g \in...     

When graded domains are Schreier or pre-Schreier

We characterize, in terms of properties of homogeneous elements, when a graded domain is pre-Schreier or Schreier. As a consequence, the following properties of a commutative monoid domain A[M] are equivalent: (1) A[M] is pre-Schreier; (2) A[M] is Schreier; (3) A and M are Schreier. This is in contrast to pre-Schreier monoids and pre-Schreier integral domains, which need not be Schreier.     

Self-adjunctions and matrices

It is shown that the multiplicative monoids of Temperley-Lieb algebras are isomorphic to monoids of endomorphisms in categories where an endofunctor is adjoint to itself. Such a self-adjunction is found in a category whose arrows are matrices, and the functor adjoint to itself is based on the Kronecker product of matrices. This self-adjunction underlies the orthogonal group case of Brauer's representation of the Brauer centralizer algebras.     

A Push Forward Construction and the Comprehensive Factorization for Internal Crossed Modules

In a semi-abelian category, we give a categorical construction of the push forward of an internal pre-crossed module, generalizing the pushout of a short exact sequence in abelian categories. The main properties of the push forward are discussed. A simplified version is given for action accessible categories, providing examples in the categories of rings and Lie algebras. We show that push forwards can be used to obtain the crossed module version of the comprehensive factorization for internal groupoids.     

On Incidence Algebras of Combinatorial Inverse Monoids

We study the incidence algebra of the reduced standard division category of a combinatorial bisimple inverse monoid [with (E(S), ≤) locally finite], and we describe semigroups of poset type (i.e., a combinatorial inverse semigroup for which the corresponding Möbius category is a poset) as being combinatorial strict inverse semigroups. Up to isomorphism, the only Möbius-division categories are the reduced standard division categories of combinatorial inverse monoids.     

Schreier rewriting beyond the classical setting Dedicated to our teacher Alfred Lvovich Shmelkin on his 70th birthday

Using actions of free monoids and free associative algebras, we establish some Schreier-type formulas involving ranks of actions and ranks of subactions in free actions or Grassmann-type relations for the ranks of intersections of subactions of free actions. The coset action of the free group is used to establish a generalization of the Schreier formula in the case of subgroups of infinite index. We also study and apply large modules over free associative and free group algebras.     

A special class of tensor categories initiated by inverse braid monoids

In this paper, we introduce the concept of a wide tensor category which is a special class of a tensor category initiated by the inverse braid monoids recently investigated by Easdown and Lavers [The Inverse Braid Monoid, Adv. in Math. 186 (2004) 438-455].The inverse braid monoidsIB_n is an inverse monoid which behaves as the symmetric inverse semigroup so that the braid group B_n can be regarded as the braids acting in the symmetric group. In this paper, the structure of inverse braid monoids is explained by using the language of categories. A partial algebra category, which is a subcategory of the representative category of a bialgebra, is given as an example of wide tensor categories. In addition, some elementary properties of wide tensor categories are given. The main result is to show that for every strongly wide tensor category C, a strict wide tensor category C^str can be constructed and is wide tensor equivalent to C with a wide tensor equivalence F.As a generalization of the universality property of the braid category B, we also illustrate a wide tensor category through the discussion on the universality of the inverse braid category IB (see Theorem 3.3, 3.6 and Proposition 3.7).     

Absolute flatness and amalgamation in pomonoids

Absolute flatness and amalgamation for partially ordered monoids (briefly pomonoids) were first considered in the mid 1980s by S.M. Fakhruddin in two research articles. Though the study of absolute flatness for pomonoids was revived by X. Shi, S. Bulman-Fleming and others after a dormancy period of almost two decades—resulting in the appearance of several research articles on the subject since 2005—amalgamation in pomonoids was never reconsidered until the recent past when S. Bulman-Fleming and the author produced two research articles on the subject. The primary objectives of these papers were to show that imposition of order subjects the amalgamation of monoids to severe restrictions and to prove that partially ordered groups (briefly pogroups) are amalgamation bases in the class of all pomonoids. Proceeding further, we establish in this article the amalgamation property for the class of pogroups. (The property was first proved for the class of groups by O. Schreier, Abh. Math. Semin. Univ. Hamb. 5:161–183, 1927.) In addition, we show that absolutely flat commutative pomonoids are (strong) amalgamation bases in the category of commutative pomonoids. (A similar result was proved by Fakhruddin for weak amalgamation.) The special amalgamation property and the existence of pushouts in the category of pomonoids, which have been instrumental in proving our main results, are also established.     

Tensor product of partially-additive monoids

Partially-additive monoids (pams) were introduced by Arbib and Manes in order to provide an algebraic semantics for programming languages. In this paper, we prove that the categoryP a m of pams and additive maps is a closed category whose monoids are partially-additive semirings. We follow the tensor product construction of R. Guitart [7] for categories of algebras which generalize the case of modules. Nevertheless, the problem here is more difficult owing to the fact that pams are partial algebras rather than algebras. Thus, we have to make some modifications to Guitart’s approach.     

Kan Extensions of Internal Functors. Algebraic Approach

We investigate the question of the Kan extension in the case when all categories and functors are internal in the category of groups. Under certain assumptions we establish the necessary and sufficient conditions for the existence of internal Kan extensions. Questions related to this problem are also discussed.     

Cleft Comodule Categories

We define crossed product categories and we show that they are equivalent with cleft comodule categories. We also prove that a comodule category is cleft if and only if it is Hopf–Galois and has a normal basis. As an application we show that the category of Hopf modules over a cleft linear category and the category of modules over the coinvariant subcategory are equivalent.