  Canonical functions are a powerful concept with numerous applications in the
study of groups, monoids, and clones on countable structures with Ramsey-type
properties. In this short note, we present a proof of the existence of
canonical functions in certain sets using topological dynamics, providing a
shorter alternative to the original combinatorial argument. We moreover present
equivalent algebraic characterisations of canonicity.
