equivalences in/of -categories
An ∞-group is braided if it is equipped with the following equivalent structure
Regarded as a monoidal (∞,1)-category, is a braided monoidal (∞,1)-category.
The delooping ∞-groupoid has the structure of an ∞-group.
The double delooping ∞-groupoid exists.
The groupal A-∞ algebra/E1-algebra structure on refines to an E2-algebra structure.
is a groupal doubly monoidal (∞,0)-category.
See the examples at braided 2-group, braided 3-group.
Last revised on August 3, 2020 at 07:28:28. See the history of this page for a list of all contributions to it.