We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently defined inverse monoids, and use it to define a new object, which we call the inverse braid-permutation monoid. A presentation for this monoid is obtained. Fina...

This is the first of two articles studying the structure of left adequate and, more generally, of left Ehresmann monoids. Motivated by a careful analysis of normal forms, we introduce here a concept of proper for a left adequate monoid M . In fact, our notion is that of T -proper, where T is a submonoid of M . We show that any left adequate monoid M has an X∗proper cover for some set X , that i...

Ehresmann monoids form a variety of biunary monoids, that is, monoids equipped with two basic unary operations, the images of which coincide and form a semilattice of projections. The monoid of binary relations BX on any setX with unary operations of domain and range is Ehresmann. Inverse monoids, regarded as biunary submonoids of BX via the Wagner-Preston representation theorem, are therefore ...

In this paper, we first consider n × n upper-triangular matrices with entries in a given semiring k. Matrices of this form with invertible diagonal entries form a monoid Bn(k). We show that Bn(k) splits as a semidirect product of the monoid of unitriangular matrices Un(k) by the group of diagonal matrices. When the semiring is a field, Bn(k) is actually a group and we recover a well-known resul...

In this paper we will be on erned with the possibility of embedding a nite semigroup S into a nite 2-generated semigroup T that shares properties with S. In parti ular we show that any nite orthodox semigroup S may be embedded in a nite orthodox semigroup T generated by two group elements and that any nite orthodox monoid S1 may be embedded as a semigroup into a nite 2-generated orthodox monoid...

We present a new procedure to determine the growth function of homogeneous Garside monoid, with respect finite generating set formed by atoms. In particular, we formula for each Artin–Tits monoid spherical type (hence braid monoid) standard generators, as inverse determinant very simple matrix. Using this approach, show that exponential rates monoids An (positive monoids) tend 3.233636… n tends...