Moore hyperrectangles on a space form a strict cubical omega-category
arXiv:0909.2212
Abstract
A question of Jack Morava is answered by generalising the notion of Moore paths to that of Moore hyperrectangles, so obtaining a strict cubical omega-category. This also has the structure of connections in the sense of Brown and Higgins, but cancellation of connections does not hold.
version 2: 7 pages. Added; introduction; full details of the laws satisfied and not satisfied; a brief account of tensor products; more references; 2 figures version 3: removed statement about iteration of the 1-dimensional construction, and added more information about homotopies of paths