Cubical models of $\mathrm{\infty }$-presheaves and the Bousfield-Kan formula

We construct the covariant and the cocartesian model structures on the slice categories of cubical sets and marked cubical sets, respectively. As an application, we derive a version of the Bousfield-Kan formula for arbitrary cofibrantly generated monoidal model categories satisfying Muro’s axiom.