Amenability, Reiter's condition and Liouville property

We show that the Liouville property and Reiter's condition are equivalent for semigroupoids. This result applies to semigroups as well as semigroup actions. In the special case of measured groupoids and locally compact groupoids, our result proves Kaimanovich's conjecture of the equivalence of amenability and the Liouville property.