Following [1]}, we now exhibit a functor \(\mathcal {W}:\mathsf {Set} \rightarrow \mathsf {Set}\)  such that a \(\mathcal {W}\) -coalgebra is just a
\(K\) -weighted automaton and \(\approx _\mathcal {W}\)  is exactly \(K\) -weighted bisimilarity.
