Factoring Factor Maps
Mike Boyle · Journal of the London Mathematical Society · 1998
A noninjective bounded-to-one factor map from an irreducible shift of finite type onto a sofic system can be factored as a composition of other such maps in only finitely many ways (up to isomorphism). This generalizes to factor maps from systems with canonical coordinates to finitely presented dynamical systems.