Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
In entry groupoid object in an (infinity,1)-category there is a passage
"it is the generalization of Stasheff H-space from Top to more general ?-stack (?,1)-topoi: an object that comes equipped with an associative and invertible monoid structure, up to coherent homotopy"
I repeat what I documented in earlier discussion on H-space: H-spaces are widely used terminology since 1950, thus before Stasheff work which of course is an important work on coherencies for them. So it is likely improper to say Stasheff H-space...Stasheff has REFINEMENTS of H-spaces, namely $A_n$-spaces and the group-like case is A infty spaces.
1 to 1 of 1