In 2009, Ghani, Hancock and Pattinson gave a tree-like representation of
stream processors ANβBN. In 2021, Garner
showed that this representation can be established in terms of algebraic theory
and comodels: the set of infinite streams AN is the final comodel
of the algebraic theory of A-valued input TAβ and the set of
stream processors Top(AN,BN) can be seen as
the final TAβ-TBβ-bimodel. In this paper, we generalize
Garner's results to the case of free algebraic theories.Comment: 17 page