Jim Stasheff replying to tim Porter's comments on my H-space query: Yes, the analog for H-spaces is fine. If X is not only an H-space but a strongly homotopy associative (sha) space, then it has a classifying space BX and the category of sha H-spaces can be defined so that B is a functor, but at any finite level ...??? ==========================================================================