Working witht the defintion and description of infty-category as in Lurie's What is a... in the Notices AMS with a weak/pseudo composition defined only up to homopy from filling a 2-horn I can see that 3-horns will give homotopy associativity what sort of coherence up to homotopy do the k-horns for k > 3 imply? reference? thanks jim [For admin and other information see: http://www.mta.ca/~cat-dist/ ]