13 Sep
2011
13 Sep
'11
2:22 p.m.
John Moore did in fact publish his proof that simplicial groups are Kan. It is stated as Theorem 3.4 in his paper Semi-Simplicial Complexes And Postnikov Systems (page 242 of the book, Symposium International De Topologia Algebraica, 1956 conference, book published in 1958). Moore refers to the Seminaire Cartan, 1954-55, expose XVIII, where the proof is given in full as Theorem 3 on page 18-04. Bill Messing [For admin and other information see: http://www.mta.ca/~cat-dist/ ]