Cubical version of combinatorial differential forms (Q969692)

The author would like to develop a combinatorial theory of higher connections on higher groupoids [Infinitesimal cubical structure, and higher connections, \url{arXiv:0705.4406}]. To this end, the author gives a cubical theory of combinatorial differential forms here. Higher connections are considered to be a morphism of the cubical complex \(M_{[\cdot]}\) of a manifold \(M\)\ into the underlying cubical complex of a cubical groupoid. Any abelian group \(R\) gives rise to a \(k\)-dimensional constant cubical groupoid on \(M\), and a connection in this cubical groupoid is no other than a cubical combinatorial differential \(k\)-form, to the notion of which this paper is devoted. Under this identification, curvature corresponds to exterior derivative, and holonomy corresponds to integration of differential forms. It should be stressed that the cubical version of combinatorial differential forms makes the integration theory more transparent than the simplicial version, because any cube can naturally be divided into smaller cubes.