On the construction of the Kan loop group (Q1917626)

In [Ann. Math., II. Ser. 67, 282-312 (1958; Zbl 0091.36901)] \textit{D. M. Kan} defined a functor \(G:\) \text {simplicial sets} \(\rightarrow\) simplicial groups such that \(G(X)\) has the same homotopy type as the loop space of \(X\), for each simplicial set. The present author provides an alternative description of the simplicial groups \(G(X)\). He points out that the groups \(G_n(X)\) can be taken as fundamental groups of the nerves of suitably defined ordered graphs. For this an ``ordered graph'' should be viewed as a small category in which two non-identity morphisms are never composable; thus its nerve is a 1-dimensional simplicial set.