CUBIC CATEGORY WITH CONNECTIONS IS A STRICT TEST CATEGORY

[1] Multiple categories: The equivalence of a globular and a cubical approach [J]. ADVANCES IN MATHEMATICS, 2002, 170 (01) : 71 - 118

[2] [Anonymous], 1983, Pursuing Stacks

[3] Geometric realisations of cubical sets with connections, and classifying spaces of categories [J]. APPLIED CATEGORICAL STRUCTURES, 2002, 10 (05) : 481 - 494

[4] ARA D, GROUPOIDES GROTHENDI

[5] COLIMIT THEOREMS FOR RELATIVE HOMOTOPY-GROUPS [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1981, 22 (01) : 11 - 41

[6] TENSOR-PRODUCTS AND HOMOTOPIES FOR OMEGA-GROUPOIDS AND CROSSED COMPLEXES [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1987, 47 (01) : 1 - 33

[7] ON THE ALGEBRA OF CUBES [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1981, 21 (03) : 233 - 260

[8] BROWN R, 2003, HOMOL HOMOTOPY APPL, V5, P1

[9] CISINSKI DC, 2006, ASTERISQUE, V308, P1

[10] CISINSKI DC, 2009, CATEGORIE JOYAL CATE

[1] Multiple categories: The equivalence of a globular and a cubical approach [J]. ADVANCES IN MATHEMATICS, 2002, 170 (01) : 71 - 118

[2] [Anonymous], 1983, Pursuing Stacks

[3] Geometric realisations of cubical sets with connections, and classifying spaces of categories [J]. APPLIED CATEGORICAL STRUCTURES, 2002, 10 (05) : 481 - 494

[4] ARA D, GROUPOIDES GROTHENDI

[5] COLIMIT THEOREMS FOR RELATIVE HOMOTOPY-GROUPS [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1981, 22 (01) : 11 - 41

[6] TENSOR-PRODUCTS AND HOMOTOPIES FOR OMEGA-GROUPOIDS AND CROSSED COMPLEXES [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1987, 47 (01) : 1 - 33

[7] ON THE ALGEBRA OF CUBES [J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 1981, 21 (03) : 233 - 260

[8] BROWN R, 2003, HOMOL HOMOTOPY APPL, V5, P1

[9] CISINSKI DC, 2006, ASTERISQUE, V308, P1

[10] CISINSKI DC, 2009, CATEGORIE JOYAL CATE