Free commutative dimonoids - Zhuchok, A.V. (Algebra and Discrete Mathematics, 2010)
We construct a free commutative dimonoid and characterize the least idempotent congruence on this dimonoid.