Geometric realisations of cubical sets with connections, and classifying spaces of categories (Q1866042)

This paper presents cubical sets with connections [introduced by \textit{R. Brown} and \textit{P. J. Higgins}, C. R. Acad. Sci., Paris, Sér. A 285, 997-999 (1994; Zbl 0379.55013)] as an alternative, in some contexts, to simplicial sets. Connections play, for cubical sets, the role played in the simplicial case by degeneracies. The author proves that there is a homotopy equivalence between the realisations obtained with or without collapsing connections (notice that there is a homotopy equivalence between the simplicial realisations obtained with or without collapsing degeneracies). She also proves, by adapting the simplicial proof, that any cubical set which is Kan admits connections. Finally, the homotopy equivalence between the cubical and the simplicial classifying space of a category is proved.