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.
have added publication data to
added pointer to:
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.
1 to 5 of 5