Cubical models of $\infty$-presheaves and the Bousfield-Kan formula
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.