Consider the functor \$$G : \textbf{Gr} \rightarrow \textbf{DDS} \$$ given by sending ‘source’ to ‘next’
and sending ‘target’ to the identity on ‘State’.
Migrate the same data using \$$G\$$.
Write down the tables and draw the corresponding graph.

[Previous](https://forum.azimuthproject.org/discussion/2154)
[Next](https://forum.azimuthproject.org/discussion/2156)

\$$I : \textbf{DDS} \rightarrow \textbf{Set} \$$

$\begin{array}{c | c} State & next \\\\ \hline 1 & 4 \\\\ 2 & 4 \\\\ 3 & 5 \\\\ 4 & 5 \\\\ 5 & 5 \\\\ 6 & 7 \\\\ 7 & 6 \end{array}$