Subject: Query on bisimplicial groups. Date: Thu, 04 Apr 2002 12:00:57 +0100 From: "Prof. T.Porter" To: "categories@mta.ca" , DON DAVIS Dear all, It is folklore that for a bisimplicial group $X_{*,*}$ the diagonal and the Artin Mazur `codiagonal' construction have the same homotopy type. Can anyone point me to a published proof? Thanks, Tim Porter