  We consider hierarchical structures such as Fibonacci sequences and Penrose
tilings, and examine the consequences of different choices for the definition
of isomorphism. In particular we discuss the role such a choice plays with
regard to matching rules for such structures.
