PRESENTATIONS FOR SEMIGROUPS AND SEMIGROUPOIDS

Abstract

We consider the relationship between the combinatorial properties of semigroupoids in general and semigroups in particular. We show that a semigroupoid is finitely generated [finitely presentable] exactly if the corresponding categorical-at-zero semigroup is finitely generated [respectively, finitely presentable]. This allows us to extend some of the main results of [17], to show that finite generation and presentability are preserved under finite extension of semigroupoids and the taking of cofinite subsemigroupoids. We apply this result to extend the results of [6], giving characterizations of finite generation and finite presentability in Rees matrix semigroups over semigroupoids.