Subject: reply to Jim From: Nathalie Wahl Date: Thu, 9 Aug 2007 23:46:15 +0200 (CEST) > Subject: Re: three postings > From: jim stasheff > Date: Sun, 05 Aug 2007 14:36:32 -0400 > >> homotopy commutative cube means only that the square faces commute up to > homotopy? > then surely the lack of a `bulk' homotopy is the problem > > given such a bulk homotopy, can we rectify? Yes, one "bulk homotopy" --in the sense I tried to explain in my earlier e-mail-- is enough to rectify. Nathalie