TY  - RPRT
TI  - The equivariant model structure on cartesian cubical sets
AU  - Steve Awodey
AU  - Evan Cavallo
AU  - Thierry Coquand
AU  - Emily Riehl
AU  - Christian Sattler
PY  - 2026
DO  - 10.1016/j.aim.2026.110965
UR  - https://arxiv.org/abs/2406.18497
ID  - 2406.18497
ER  -