Symmetry in the cubical Joyal model structure

Abstract: We study properties of the cubical Joyal model structures on cubical sets by means of a combinatorial construction which allows for convenient comparisons between categories of cubical sets with and without symmetries. In particular, we prove that the cubical Joyal model structures on categories of cubical sets with connections are cartesian monoidal. Our techniques also allow us to prove that the geometric product of cubical sets (with or without connections) is symmetric up to natural weak equivalence in the cubical Joyal model structure, and to obtain induced model structures for $(\infty,1)$-categories on cubical sets with symmetries.