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.