Idempotent bounded C-semigroups

A semigroup with zero isidempotent bounded (IB) if it is the 0-direct union of idempotent generated principal left ideals and the 0-direct union of idempotent generated principal right ideals. Notable examples are completely 0-simple semigroups and the wider class of primitive abundant semigroups. Significant to the structure of these semigroups is that they are all categorical at zero. In this paper we describe IB semigroups that are categorical at zero in terms ofdouble blocked Rees matrix semigroups. This generalises Fountain's characterisation of primitive abundant semigroups via blocked Rees matrix semigroups [1], which in turn yields the Rees theorem for completely 0-simple semigroups.