Categorical representation of DRC-semigroups

Abstract

DRC-semigroups model associative systems with domain and range operations, and contain many important classes, such as inverse, restriction, Ehresmann, regular $*$-, and $*$-regular semigroups. In this paper we show that the category of DRC-semigroups is isomorphic to a category of certain biordered categories whose object sets are projection algebras in the sense of Jones. This extends the recent groupoid approach to regular $*$-semigroups of the first and third authors. We also establish the existence of free DRC-semigroups by constructing a left adjoint to the forgetful functor into the category of projection algebras.