Cubical structures, homotopy theory

We investigate the categories of semi-cubical complexes with or loithout degeneracies. We prove that the Kan condition does not imply that a semi-cubical complex admits degeneracies and that, unlike the simplicial case, there is no cubical approximation theorem while we prove such a theorem for semi-cubical complexes with degeracies.