In rev 33 an edit signed by “Anonymous” dropped a line allegedly defining $\infty$-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 $\infty$-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 $\infty$-groups.

The first references was to the HoTT book. This book has a Remark 6.11.2 (p. 200) which explicitly says that $\infty$-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 $\infty$-groups. So I kept that reference but added explicit pointer to its section 4.6.

added pointer to:

- Roman Mikhailov,
*Homotopy patterns in group theory*, Proceedings of the ICM 2022 (arXiv:2111.00737)

have added publication data to

- Ulrik Buchholtz, Floris van Doorn, Egbert Rijke,
*Higher Groups in Homotopy Type Theory*, LICS ’18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (arXiv:1802.04315, doi:10.1145/3209108.3209150)

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

]]>