  Coherent strings of composable morphisms play an important role in various
important constructions in abstract stable homotopy theory (for example
algebraic K-theory or higher Toda brackets) and in the representation theory of
finite dimensional algebras (as representations of Dynkin quivers of type A).
In a first step we will prove a strong comparison result relating composable
strings of morphisms and coherent diagrams on cubes with support on a path from
the initial to the final object.
  We observe that both structures are equivalent (by passing to higher
analogues of mesh categories) to distinguished coherent diagrams on special
classes of morphism objects in the 2-category of parasimplices. Furthermore, we
show that the notion of distinguished coherent diagrams generalizes well to
arbitrary morphism objects in this 2-category. The resulting categories of
coherent diagrams lead to higher versions of the
$\mathsf{S}_{\bullet}$-construction and are closely related to representations
of higher Auslander algebras of Dynkin quivers of type A.
  Understanding these categories and the functors relating them in general will
require a detailed analysis of the 2-category of parasimplices as well as basic
results from abstract cubical homotopy theory (since subcubes of distinguished
diagrams very often turn out to be bicartesian). Finally, we show that the
previous comparison result extends to a duality theorem on general categories
of distinguished coherent diagrams, as a special case leading to some new
derived equivalences between higher Auslander algebras.
