This paper shows that four classes of mathematical structures - full transformation monoids, partial transformation monoids, symmetric inverse monoids, and partition monoids - all satisfy a 'weak coherence' property over infinite sets. However, none of them satisfy the stronger 'coherence' property. To prove this, the authors present a particular inverse semigroup that ...