Cartesian cubical model categories
arXiv:2305.00893
Abstract
The category of Cartesian cubical sets is introduced and endowed with a Quillen model structure using ideas coming from recent constructions of cubical systems of univalent type theory.
104 pages