TY - RPRT TI - Cartesian cubical model categories AU - Steve Awodey PY - 2023 UR - https://arxiv.org/abs/2305.00893 ID - 2305.00893 ER -