Homology of (n+1)-types and Hopf type formulas

The tripleability of the category of crossed n-cubes is studied. The leading cotriple homology of these homotopy (n+1)-types is investigated, describing it as Hopf type formulas.