See my previous question What is the product in the 2-category of spans? for notation. In brief, $\mathcal S$ is a category with finite limits, $\operatorname{Span}(\mathcal S)$ is the 2-category whose 1-morphisms are diagrams in $\mathcal S$ of the form $\bullet \leftarrow\bullet \rightarrow \bullet$, and for want of a better name (is there one?) I call the functor $\{X\to Y\} \mapsto \{X = X \to Y\}$ "spanishization".
Suppose I have an equivalence in $\operatorname{Span}(\mathcal S)$ (a pair of 1-morphisms whose compositions are isomorphic to identities). Is it necessarily isomorphic to the spanishization of an isomorphism in $\mathcal S$?