Ok, we could update like that, but why were they using the H-spaces, , that’s I guess what you call , rather than , the monoid rather than the group?
]]>In more modern language and more generally, -fiber infinity-bundles are classified by the delooping of the automorphism infinity-group of F. For this gives the classifying space for -spherical fibrations.
The canonical inclusion picks the subspace of twists coming from the J-,homomorphism.
]]>Added something on the classifying space for spherical fibrations.
]]>added pointer to
some basics at spherical fibration
]]>