Equivalence to descending Precosheaf
A second type of Interleavings

In this section we move one step closer to proving theorem 9. We consider interleavings of precosheaves in the image of the functor \(\mathcal{C} \mathcal{E}\) and transform those into interleavings somewhat closer to those of join trees.