The cubical singular complex $K X$, or $S^\square X$, of a topological space $X$ has an additional structure of compositions.
Let $(m) = (m_1, \ldots\, , m_n)$ be an $n$-tuple of positive integers and
be the map $(x_1 , \ldots \, , x_n) \mapsto (m_1 x_1, \ldots \, , m_n x_n).$ Then a subdivision of type $(m)$ of a map $\alpha : I^n \rightarrow X$ is a factorisation $\alpha = \alpha' \circ \phi_{(m)}$; its parts are the cubes $\alpha_{(r)}$ where $(r) = (r_1, \ldots \,, r_n)$ is an $n$-tuple of integers with $1 \leq r_i \leq m_i$, $i = 1, \ldots\, , n,$ and where $\alpha_{(r)} : I^n \rightarrow X$ is given by
We then say that $\alpha$ is the composite of the cubes $\alpha_{(r)}$ and write $\alpha = [\alpha_{(r)}]$. The domain of $\alpha_{(r)}$ is then the set $\{(x_1,\ldots,x_n) \in I^n : r_i-1 \leq x_i \leq r_i, 1 \leq i \leq n\}$.
The composite is in direction $j$ if $m_j$ is the only $m_i \gt 1,$ and we then write $\alpha = [\alpha_1 , \ldots\, , \alpha_m{_j} ]_j;$ the composite is in the directions $j$, $k$ $(j \neq k)$ if $m_j$, $m_k$ are the only $m_i \gt 1,$ and we then write
for $r = 1 , \ldots\, , m_j$ and $s = 1, \ldots \,, m_k.$ The aim is to follow matrix conventions in writing double compositions.
These definitions and notations are useful for showing how the singular cubical complex allows expression for algebraic inverses to subdivision, something seemingly very difficult either simplicially or globularly. The implications of this advantage for weak category theory seem not to have been investigated.
A cubical set with connections and compositions and inverses is a cubical set $K$ with connections in which each $K_n$ has $n$ partial compositions $+_i$ and $n$ unary operations $-_i$, $i = 1,2,\ldots \, ,n$ satisfying the following axioms.
If $a,b \in K_n$, then $a+_i b$ is defined if and only if $\partial^+_i a=\partial^-_i b$, and then for $\alpha=\pm$:
If $a \in K_n$, then $-_i a$ is defined and
We have for $i \ne j$ and whenever both sides are defined:
These relations are called the interchange laws, and both sides of this equation may be written:
Further:
$-_i (a+_j b) = (-_i a) +_j (-_i b)$ and $-_i (-_j a) = -_j (-_i a)$ if $i \ne j$
$-_j(a+_j b) = (-_j b)+_j(-_j a)$ and $-_j (-_j a) =a$.
If further $K$ is a cubical set with connections then we also require
These last two equations are called the transport laws and the right hand sides are also written respectively
They can be interpreted as saying that turning left, or right, with your arm outstretched, is the same as turning left, or right.
It is easily verified that the singular cubical set $KX$ of a space $X$ satisfies these axioms if $+_j , -_j$ are defined by
whenever $\partial^+_j a=\partial^-_j b$; and
The above list of relations may seem formidable, but they all express simple geometric ideas most of which have been well used in some form or another in algebraic topology.
Notice also that in the singular cubical complex of a space, the interchange and transport laws hold exactly.
We also get a (strict) notion of cubical omega-category with connections by assuming that all compositions $+_i$ give a category structure with source and target maps $\partial^-_i, \partial^+_i:K_n \to K_{n-1}$ and identity maps $\varepsilon_i: K_{n-1} \to K_n$, and also for all $a$
These are important cancellation laws for the connections. They can be interpreted as saying that turning left and then right, or vice versa, leaves you facing the same way. They were introduced by C.B. Spencer for double categories (see below).
In the omega-groupoid case, the $\Gamma^+_i$ can be recovered from the $\Gamma^-_i$, and vice versa, by using the inverses, assumed to arise from the groupoid structure.
The main result of the second paper below is that (strict) cubical omega-groupoids with connections are equivalent to crossed complexes. It is easy to construct a functor from the former to the latter; the hard work is to show that such an omega-groupoid may be functorially reconstructed from the crossed complex it contains.
This work is used in the third paper to construct and apply a strict cubical homotopy groupoid of a filtered space.
The main result of the fourth paper below is that (strict) cubical omega-categories with connections are equivalent to strict globular omega-categories.
For more information, see Nonabelian Algebraic Topology..
C.B. Spencer, “An abstract setting for homotopy pushouts and pullbacks”, Cahiers Topologie G'eom. Diff'erentielle, 18 (1977), 409-429.
R. Brown and P.J. Higgins, The algebra of cubes, J. Pure Appl. Alg.+, 21 (1981), 233–260.
Brown, R. and Higgins, P.~J. Colimit theorems for relative homotopy groups. J. Pure Appl. Algebra 22~(1) (1981) 11–41.
F. Al-Agl, R. Brown and R. Steiner, Multiple categories: the equivalence between a globular and cubical approach, Advances in Mathematics, 170, (2002), 71–118.