Free dimonoids

Abstract

We characterize the least semilattice congruence on the free dimonoid and prove that the free dimonoid is a semilattice of s-simple subdimonoids each being a rectangular band of subdimonoids.