  In this paper, we present a completely radical way to investigate the main
problem of symbolic dynamics, the conjugacy problem, by proving that this
problem actually relates to a natural question in category theory regarding the
theory of traced bialgebras. As a consequence of this theory, we obtain a
systematic way of obtaining new invariants for the conjugacy problem by looking
at existing bialgebras in the literature.
