Exercise 8.5.9.13. Show that the subcategory $\mathrm{Dy}_{+} \subset \mathrm{Dy}$ is well-defined: that is, the collection of dyadic contractions is closed under composition.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Exercise 8.5.9.13. Show that the subcategory $\mathrm{Dy}_{+} \subset \mathrm{Dy}$ is well-defined: that is, the collection of dyadic contractions is closed under composition.