TY - RPRT TI - The functors Wbar and Diag o Nerve are simplicially homotopy equivalent AU - Sebastian Thomas PY - 2008 UR - https://arxiv.org/abs/0804.1082 ID - 0804.1082 ER -