1: \begin{abstract}

2: We provide three functorial extensions of the equivalence between localic \'etale groupoids and their quantales. The main result is a biequivalence between the bicategory of localic \'etale groupoids, with bi-actions as 1-cells, and a bicategory of inverse quantal frames whose 1-cells are bimodules. As a consequence, the category $\InvQuF$ of inverse quantale frames, whose morphisms are the (necessarily involutive) homomorphisms of unital quantales, is equivalent to a category of localic \'etale groupoids whose arrows are the algebraic morphisms in the sense of Buneci and Stachura.

3: We also show that the subcategory of $\InvQuF$ with the same objects and whose morphisms preserve finite meets is dually equivalent to a subcategory of the category of localic \'etale groupoids and continuous functors whose morphisms, in the context of topological groupoids, have been studied by Lawson and Lenz. \\

4: \vspace*{-2mm}~\\

5: \textit{Keywords:} Groupoids, quantales, covering functors, bi-actions, algebraic morphisms\\

6: \vspace*{-2mm}~\\

7: 2010 \textit{Mathematics Subject

8: Classification}: 06D22, 06F07, 18B99, 18D05, 20M18, 22A22, 46M15, 54H10

9: \end{abstract}

10: