
as desired. The proof of \(K\) -linearity of \(\epsilon \)  is similar. Hence
\((K^{A^\ast },\epsilon ,d)\)  is a coalgebra in \(\mathsf {SMod}\) . We now recall the
proof from [1]} that it is the final coalgebra in \(\mathsf {SMod}\) .
