  In this note we introduce a notion of a morphism between two hyperbolic
iterated function systems. We prove that the graph of a morphism is the
attractor of an iterated function system, giving a Closed Graph Theorem, and
show how it can be used to approach the topological conjugacy problem for
iterated function systems.
