If we have a pair \$$f \vdash g: \mathcal{X} \to \mathcal{Y}\$$ of adjoint contraction mappings then can we construct an equivalence between \$$\mathcal{X}\$$ and \$$\mathcal{Y}\$$?