## Some Equivalences

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.