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}\\)?