A cubical model for (∞,n)-categories

We propose a new model for the theory of .1;n/-categories (including the case n D 1) in the category of marked cubical sets with connections, similar in flavor to complicial sets of Verity.The model structure characterizing our model is shown to be monoidal with respect to suitably defined (lax and pseudo) Gray tensor products; in particular, these tensor products are both associative and biclosed.Furthermore, we show that the triangulation functor to precomplicial sets is a left Quillen functor and is strong monoidal with respect to both Gray tensor products.18N65; 18N40, 55U35, 55U40 4. Homotopy 1-categories of comical sets 1144 5. Triangulation 1149 6. Triangulating Gray tensor product 1153 7. Triangulating model structures 1163