Cubical models of -presheaves and the Bousfield-Kan formula
arXiv:2511.12809
Abstract
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.
57 pages; comments most welcome