1: \begin{definition}\label{def:Vrep} The 2-linearization process $\FV :

2: \Span(\Gpd) \ra \iiV$ is defined as

3: follows: \begin{itemize}

4: \item For an essentially finite groupoid $A$ it assigns:

5: \begin{equation}\label{eq:VonGpd}

6:   \FV(A) = \HV{A}

7: \end{equation}

8: \item For a span of groupoids:

9: \begin{equation}

10: A \lalim^{s} X \ralim^{t} B

11: \end{equation}

12: it assigns:

13: \begin{equation}\label{eq:VonSpan}

14:   \FV(S) = t_{\ast} \circ s^{\ast}

15: \end{equation}

16: \item For a (strictly commuting) span of maps between two spans with the

17:       same source and target:

18: \begin{equation}

19: \xymatrix{

20:  & X_1 \ar[dl]_{s_1} \ar[dr]^{t_1} & \\

21: A & Y \ar[u]_{s} \ar[d]^{t} & B  \\

22:  & X_2  \ar[ul]_{s_2} \ar[ur]^{t_2} & \\

23: }

24: \end{equation}

25: $\FV$ assigns a natural transformation:

26: \begin{equation}

27: \FV(Y) = \epsilon_{L,t} \circ \eta_{R,s} : (t_1)_{\ast}s_1^{\ast} \Longrightarrow (t_2)_{\ast}s_2^{\ast}

28: \end{equation}

29: (and analogously for weakly commuting spans of maps as in Definition

30: \ref{def:Von2Span})

31: \end{itemize}

32: $\FV$ also associates the following:

33: \begin{itemize}

34: \item For each composable pair $X : A_1 \ra A_2$ and $X' : A_2 \ra A_3$, a natural isomorphism

35: \begin{equation}

36:  \beta : \FV( X' \circ X ) \ra \FV(X') \circ \FV(X)

37: \end{equation}, as described in Theorem \ref{thm:FVcomposfunc}.

38: \item For each object $X \in \Gpd$, the natural transformation

39: \begin{equation} U_B : 1_{\FV(B)} \stackrel{\sim}{\ra} \FV(1_B) \end{equation}

40: is the natural transformation induced by the equivalence between

41: $ {B}$ and $ {1_B}$. 

42: \end{itemize} 

43: \end{definition}

44: