## Archival Version

**These pages are not updated anymore.
They reflect the state of
.
For the current production of this journal, please refer to
http://www.springer.com/mathematics/geometry/journal/40062.
**

The functors Wbar and Diag o Nerve are simplicially homotopy equivalent
#
The functors Wbar and Diag o Nerve are simplicially homotopy equivalent

##
Sebastian Thomas

Given a simplicial group \(G\), there are two known classifying
simplicial set constructions, the Kan classifying simplicial set
\(\KanClassifyingSimplicialSet G\) and \(\DiagonalFunctor \Nerve
G\), where \(\Nerve\) denotes the dimensionwise nerve. They are
known to be weakly homotopy equivalent. We will show that
\(\KanClassifyingSimplicialSet G\) is a strong simplicial
deformation retract of \(\DiagonalFunctor \Nerve G\). In particular,
\(\KanClassifyingSimplicialSet G\) and \(\DiagonalFunctor \Nerve G\)
are simplicially homotopy equivalent.

Journal of Homotopy and Related Structures, Vol. 3(2008), No. 1, pp. 359-378