  We investigate algebraic and compositional properties of abstract multiway
rewriting systems, which are archetypical structures underlying the formalism
of the Wolfram model. We demonstrate the existence of higher homotopies in this
class of rewriting systems, where homotopical maps are induced by the inclusion
of appropriate rewriting rules taken from an abstract rulial space of all
possible such rules. Furthermore, we show that a multiway rewriting system with
homotopies up to order $n$ may naturally be formalized as an $n$-fold category,
such that (upon inclusion of appropriate inverse morphisms via invertible
rewriting relations) the infinite limit of this structure yields an
${\infty}$-groupoid. Via Grothendieck's homotopy hypothesis, this
${\infty}$-groupoid thus inherits the structure of a formal homotopy space. We
conclude with some comments on how this computational framework of homotopical
multiway systems may potentially be used for making formal connections to
homotopy spaces upon which models relevant to physics may be instantiated.
