1: \begin{abstract}

2: This is the third article in a series about Hurwitz spaces. For a partially multiplicative quandle $\mathcal{Q}$ we consider the topological monoid $\mathring{\mathrm{HM}}(\mathcal{Q})$ obtained from the Hurwitz space $\mathrm{Hur}((0,1)^2;\mathcal{Q})$ by a Moore strictification, and compute its group completion: it is the product of the (discrete) enveloping group $\mathcal{G}(\mathcal{Q})$ with a component of $\Omega^2\mathrm{Hur}([0,1]^2,\partial[0,1]^2;\mathcal{Q},G)_{0;\mathbbl{1}}$; here $G$ is any group completing $\mathcal{Q}$ to a PMQ-group pair. Assuming further that $\mathcal{Q}$ is finite and rationally Poincare and that $G$ is finite, we compute the rational cohomology of $\mathrm{Hur}([0,1]^2,\partial[0,1]^2;\mathcal{Q},G)_{0;\mathbbl{1}}$.

3: \end{abstract}

4: