How to construct a free 2-group on a groupoid? Let G
  be a groupoid. I'm wondering how to construct the free 2-group on G.
By the free 2-group I mean a 2-group $\mathcal{F}\left(G\right)$
  equipped with a functor $i:G\longrightarrow\mathcal{F}\left(G\right)$
  such that for any 2-group $\mathcal{G}$
  and any functor $F:G\longrightarrow\mathcal{G}$
  there is a monoidal functor $F':\mathcal{F}\left(G\right)\longrightarrow\mathcal{G}$
  and an isomorphism $\alpha:F'\circ i\Longrightarrow F$
  such that the functor $F':\mathcal{F}\left(G\right)\longrightarrow\mathcal{G}$
  is unique up to coherent isomorphism. Here is my attempt at a description of $\mathcal{F}\left(G\right)$
 :
The objects are defined inductively by requiring that $\mathcal{F}\left(G\right)$
  contain an object 1
 , the objects of G
  and for each object $g\in G$
  an object $\overline{g}\in G$
  such that for any two objects $x,y\in\mathcal{F}\left(G\right)$
  there is an object $x\otimes y$
  in $\mathcal{F}\left(G\right)$
 . 
The 'prearrows' in $\mathcal{F}\left(G\right)$
  are built as follows. We require that every arrow from G
  be a prearrow in $\mathcal{F}\left(G\right)$
 . For each pair of prearrows $a:x\longrightarrow z$
  and $b:y\longrightarrow w$
  in $\mathcal{F}\left(G\right)$
  there is a prearrow $a\otimes b:x\otimes y\longrightarrow z\otimes w$
 . In addition we adjoin a prearrow $e_{g}:g\otimes\overline{g}\longrightarrow1$
  for each $g\in G$
  and we adjoin prearrows $\alpha_{x,y,z}:\left(x\otimes y\right)\otimes z\longrightarrow x\otimes\left(y\otimes z\right)$
 , $\lambda_{x}:1\otimes x\longrightarrow x$
 , and $\rho_{x}:x\otimes1\longrightarrow x$
  for each $x,y,z\in\mathcal{F}\left(G\right)$
 . The arrows are then given by equivalence classes of prearrows generated by the requirement that $\alpha,\rho,\lambda$
  and e
  be isomorphisms, the naturality conditions on $\alpha,\rho$
  and $\lambda$
 , the condition that $\otimes$
  is a functor, and the axioms of a monoidal category.
My question is, does this construction work? If not, can anybody give an indication of a construction that does? Also, to define the free symmetric 2-group on a groupoid, does it suffice to add prearrows $\gamma_{x,y}:x\otimes y\longrightarrow y\otimes x$
  for each $x,y\in\mathcal{F}\left(G\right)$
  and generate the equivalence relation from the axioms of a symmetric monoidal category?
 A: let me offer you an alternative. The free 2-group on a groupoid is well defined up to equivalence (not isomorphism), hence I'll offer you a strict model (which is known to exist by abstract reasons, since any 2-group can be strictified).
A strict 2-group is essentially the same thing as a crossed module $\partial\colon\mathcal F(G)_1\rightarrow\mathcal F(G)_0$. It is defined as follows. Let $BG$ be the classifying space (simplicial set) of G. Let $FBG$ be its  Milnor construction (obtained by taking free group dimension-wise and killing the base point), which is a simplicial group. This is a simplicial group. Consider its Moore complex $N_*FB(G)$, which is a non-negatice non-abelian chain complex with certain features. The crossed module $\partial\colon\mathcal F(G)_1\rightarrow\mathcal F(G)_0$ is the following truncation of the Moore complex
$$\bar d_1\colon N_1FB(G)/d_2(N_2FB(G))\longrightarrow N_0FB(G).$$
In particular $\mathcal F(G)_0$ is the free group on the set of objects of $G$. This crossed module can also be defined by generators and relations. This is in my paper with Baues entitled 'Secondary homotopy groups', $\S6$.
The previous construction is a strict left adjoint of the forgetful functor from crossed modules to groupoids. You may then wonder why it is also a 2-adjoint. This follows from the following facts:


*

*this adjoint pair is a Quillen pair for the usual model structures in these categories.

*the 2-categorical structures can be recovered from the model structures via mapping spaces.

*All groupoids are cofibrant (also fibrant, but this is not relevant here) and all crossed modules are fibrant (but not cofibrant, but it doesn't matter).
The symmetrization has an intermediate step, which is to make it braided. Let me tell you how this works for any crossed module $\partial\colon C_1\rightarrow C_0$. The result is a reduced quadratic module, in the sense of Baues's 'Combinatorial homotopy and 4-dimensional complexes'. Such an object is a diagram of groups of the form
$$D_0^{ab}\otimes D_0^{ab}\stackrel{\langle-,-\rangle}\longrightarrow D_1\stackrel{\delta}\longrightarrow D_0$$
satisfying some equations, $\delta$ is a (special kind of) crossed module, and $D_0^{ab}$ denotes the abelianization of $D_0$. The left adjoint of the forgetful functor from reduced quadratic modules to crossed modules send $\partial\colon C_1\rightarrow C_0$ to the reduced quadratic module where $D_0$ is the quotient of $C_0$ by triple commutators and $D_1$ is a quotient of $C_1\times (C_0^{ab}\otimes C_0^{ab})$ by some relations. See my previous paper with Baues. The symmetrization of a reduced quadratic module consists of forcing the bracket to be antisymmetric $\langle a,b\rangle=-\langle b,a\rangle$ by taking quotients.
For the relation between these strict categories of (symmetric, braided) 2-groups and the usual non-strict version see the survey in $\S 3$ of my joint paper with Tonks and Witte, 'On determinant functors and K-theory'. Everything contained in that section is kind of folklore, but it's either scattered through old literature or we do not know of any other published proof.
A: The notion of free crossed module was a major feature of JHC Whitehead's 1949 paper "Combinatorial homotopy II", in which he proved, using methods of transversality and knot theory, that the crossed module 
$$\pi_2(X \cup \{e^2_\lambda\},X,x) \to \pi_1(X,x) $$
is free on the characteristic maps of the $2$-cells. This theorem is sometimes mentioned but rarely proved in topology texts. Work of Philip Higgins and I showed how this theorem was a special case of a $2$-dim van Kampen type theorem, i.e. a colimit theorem, and the full story of this is given in Part I of the book partially titled Nonabelian Algebraic Topology, EMS 2011 (NAT). Thus the more general theorem determines
$$\pi_2(X \cup _f CA,A,x) \to \pi_1(X,x)$$
for $A$ connected, in terms of the  induced morphism $f_*: \pi_1(A,a) \to \pi_1(X,x)$, so that Whitehead's theorem is the case $A$ is a wedge of circles. 
Feb 14, 2016
This question could also be looked at in the light of the forgetful functor $$\Phi: (\text{2-groups)} \to (\text{groupoids})$$
which is a bifibration with a left adjoint say $D$, and a right adjoint $I$. As developed in Appendix B3 (Theorem B.3.2) of the book NAT, the cofibration (cocartesian) property of $\Phi$ is given by a pushout of 2-groupoids
$$ \begin{matrix} D\Phi(K) &\xrightarrow{D(F)}& D(H) \\
\downarrow&& \downarrow \\
K & \to &F_*(K).\end{matrix} $$
The notion of ``free" 2-groupoid on $F: G \to H$ is the special case when $K=I(G)$. 
This is not stated in that Appendix but is the construction used in Part 1. For example if $F:P \to Q$ is a morphism of groups then the free crossed module on $F$ is the induced crossed module  $F_*(P \to P)$, where the identity crossed module is $I(P)$. This generalises to free crossed modules over groupoids. 
February 25,2016 I think Fernando is right and I apologise for my misapprehension. To explain it, I am commonly looking for some algebraic explanations of how low dimensional identifications in spaces influence high dimensional homotopy invariants. The prototype was that groupoids enable the computation of 1-types by a van Kampen type theorem because, it seems, groupoids have structure in dimensions 0 and 1. Crossed modules (over groupoids, and so equivalent to 2-groupoids) have structure in dimensions 0,1,2, and give computational models of 2-types in an analogous way. So I am used to the "inducing" process coming from a bifibration of algebraic models from dimension $n$ to dimension $n-1$ and contributing to "free" structures in dimension $n$. 
