In rev 33 an edit signed by “Anonymous” dropped a line allegedly defining -groups in homotopy type theory and dropped two further references, all without any comment
The definition line seems to try to speak of a connected type, but notation seems off and in any case discussion is missing. I don’t think this edit is useful as is and am deleting it hereby. If anyone wishes to add decent discussion of -groups in HoTT to the entry, please feel invited.
Then I tried to check where in the two references given in rev 33 the reader should go hunt for -groups.
The first references was to the HoTT book. This book has a Remark 6.11.2 (p. 200) which explicitly says that -groups are not being discussed there. So I have deleted this reference item.
The second reference was the Symmetry book. While its section 4 focuses on 1-groups, it does have a subsection 4.6 which explicitly highlights -groups. So I kept that reference but added explicit pointer to its section 4.6.
]]>added pointer to:
have added publication data to
Accidently changed page name. Changing it back.
Anonymous
]]>Added the adjective grouplike to A_infty space as else I just get a monoid object instead of a group object.
Anonymous
]]>