1: \begin{abstract}

2: 

3: 	\noindent

4: 	These notes give an elementary and formal 2-categorical construction of the bicategory of anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful.

5: 

6: 	% In this article we give a detailed and complete elementary construction of the localisation by fractions of a strict, subcanonical unary 2-site with fully faithful covers.

7: 	% This covers the case of anafunctors as defined by Makkai and internal anafunctors as defined by Bartels.

8: 	% In the case the pretopology satisfies a local smallness condition, the localisation is a locally essentially small bicategory by construction.

9: 	% % We also show that the localisation preserves the existence of various classes of 2-categorical finite limits.

10: 	% This subsumes all applications to the theory of stacks of Pronk's bicategorical localisation theorem, and generalises previous work by the author.

11: 	% % The second part of this paper will give a proof independent of Pronk's result that the bicategory constructed in this part is a bicategorical localisation.

12: 	% % Applications will be given for 2-categories of \emph{structured} internal groupoids, which are internal groupoids equipped with a choice of extra structure.

13: 

14: 

15: 

16: \end{abstract}

17: