Start a new discussion

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

1. Added the adjective grouplike to A_infty space as else I just get a monoid object instead of a group object.

Anonymous

2. Accidently changed page name. Changing it back.

Anonymous

• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeJun 20th 2020

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeNov 22nd 2021

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJun 24th 2022
• (edited Jun 24th 2022)

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.

• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)