  We introduce the notion of partially multiplicative quandle (PMQ),
generalising both classical notions of partial monoid and of quandle. We set up
the basic theory of PMQs, in analogy with classical group theory. For a
complete PMQ $\hat{\mathcal{Q}}$, and for a braided closed monoidal category
$\mathbf{A}$, we introduce a braided monoidal category of
$\hat{\mathcal{Q}}$-crossed object in $\mathbf{A}$, in analogy with the
classical notion of $G$-crossed objects, depending on a discrete group $G$. We
use the previous to give a definition of Hurwitz spaces
$\mathrm{Hur}^{\Delta}(\mathcal{Q})$ of configurations of points in the plane
with monodromies in a PMQ: the definition has a simplicial flavour, and gives
rise to topological spaces with a natural cell stratification; it recovers the
classical definition of Hurwitz spaces in the case of a discrete group $G$
considered as a PMQ with trivial multiplication. We give a criterion to detect
whether a PMQ $\mathcal{Q}$ is Poincare, i.e. whether all connected components
of $\mathrm{Hur}^{\Delta}(\mathcal{Q})$ are topological manifolds. Finally, we
analyse thoroughly the PMQ $\mathfrak{S}_d^{\mathrm{geo}}$, for $d\ge2$, and we
compute its enveloping group and its completion as PMQ.
