Michael Barr wrote:
Back in the mid 60s, I read a paper (or maybe a preprint) by John Moore showing that simplicial groups are Kan complexes. As I look through MathSciNet, I can find nothing like that among Moore's publications. Does anyone know if this was published or does anyone have a copy? Or can anyone give me a reference for the fact?
Michael
Dear Mike and everyone, There is a proof in Peter May's little book and some indication in the survey article by Curtis (but his formaule do not work). The nice thing about the result is not that it is true but that it is possible to construct formulae for the fillers EXPLICITLY from the information on the horns. Heiner Kamps and myself used this approach in our book and it seemed to us better to introduce the problem and then get the reader to investigate the algorithmic idea rather than giving the solution as the latter does not tell you where the formulae came from. Robert Knighten's reference to being in Moore's seminar notes is the earliest I have seen it as well. Tim Porter