related by the Dold-Kan correspondence
Similarly there is a canonical Top-valued functor
is the cubical analogue of the simplicial nerve and realization discussed above.
There is a model structure on cubical sets whose
weak equivalences are the morphisms that become weak equivalences under geometric realization ;
cofibrations are the monomorphisms.
This is (Jardine, section 3).
The following theorem establishes a form of the homotopy hypothesis for cubical sets.
is a weak equivalence in for every cubical set .
The counit of the adjunction
is a weak equivalence in for every topological space .
This is (Jardine, theorem 29, corollary 30).
In fact, by the discussion at adjoint (∞,1)-functor it follow that the derived functors of the adjunction exhibit the simplicial localizations of cubical sets equivalent to that of simplicial sets, hence makes their (∞,1)-categories equivalent (hence equivalent to ∞Grpd).
Using that the cube category is a test category a model structure on cubical sets follows as a special case of the model structure on presheaves over a test category, due to
The model structure on cubical sets as above is given in detail in
There is also the old work
in which “supercomplexes” are discussed, that combine simplicial sets and cubical sets (def 5). There are functors from simplicial sets to supercomplexes (after Defn 5) and, implicitly, from supercomplexes to cubical sets (in Appendix II). This was written in 1956, long before people were thinking as formally as nowadays and long before Quillen model theory, but a comparison of the homotopy categories might be in there.