on dg-algebras/on dg-coalgebras and on on cosimplicial rings (related by monoidal Dold-Kan correspondence)
There is a model category structure on the category of cubical sets whose homotopy theory is that of the standard model structure on simplicial sets.
Using this, cubical sets are a way to describe infinity-groupoids using of all the geometric shapes for higher structures the cube.
…