equivalences in/of -categories
A braided 3-group is a braided ∞-group which is a 3-group. For a 3-group, a braiding on it is the following equivalent structure
For a commutative ring, and the braided monoidal 2-category of -algebras, bimodules and bimodule homomorphism, the maximal 3-group
inside is a braided 3-group. Its homotopy groups are the Brauer group, the Picard group and the group of units of . See at Brauer group – Relation to category of modules for more on this.
Last revised on December 12, 2012 at 16:47:33. See the history of this page for a list of all contributions to it.