1: \begin{abstract}

2:   We establish a Crapo complementation formula for the M\"obius function

3:   $\mu^X$ in a general decomposition space $X$ in terms of a convex

4:   subspace $K$ and its complement: $\mu^X \simeq \mu^{X\shortsetminus K} +

5:   \mu^X*\zeta^K*\mu^X$. We work at the objective level, meaning that the

6:   formula is an explicit homotopy equivalence of $\infty$-groupoids. Almost

7:   all arguments are formulated in terms of (homotopy) pullbacks. Under

8:   suitable finiteness conditions on $X$, one can take homotopy cardinality

9:   to obtain a formula in the incidence algebra at the level of

10:   $\Q$-algebras. When $X$ is the nerve of a locally finite poset, this recovers the Bj\"orner--Walker

11:   formula, which in turn specialises to the original Crapo complementation

12:   formula when the poset is a finite lattice.

13:   A substantial part of the work is to introduce and develop the notion of

14:   convexity for decomposition spaces, which in turn requires some general

15:   preparation in decomposition-space theory, notably some results on

16:   reduced covers and ikeo and semi-ikeo maps. These results may be of wider

17:   interest. Once this is set up, the objective proof of the Crapo formula is quite

18:   similar to that of Bj\"orner--Walker.

19: \end{abstract}

20: