category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
monoidal dagger-category?
For a monoidal 2-category, its Picard 3-group or Picard-Brauer 3-group is the 3-group structure induced on the core of the full sub-2-groupoid on those objects that are invertible under the tensor product.
If is a braided monoidal 2-category, then is a braided 3-group.
If is a sylleptic monoidal 2-category, then is a sylleptic 3-group.
If is a symmetric monoidal 2-category, then is a abelian 3-group.
In this case this is the 3-truncation of the Picard ∞-group.
The Picard 3-group, or rather the monoidal 2-category that it sits in, was maybe first made explicit in the last part of
The corresponding Kan complex is discussed in
A summary of these considerations is in section 12 of
A refinement to stable homotopy theory is discussed in
See also the discussion of higher Brauer groups in stable homotopy theory (which in turn are a “non-connective delooping”of ) in
Markus Szymik, Brauer spaces for commutative rings and structured ring spectra (arXiv:1110.2956)
Andrew Baker, Birgit Richter, Markus Szymik, Brauer groups for commutative -algebras, J. Pure Appl. Algebra 216 (2012) 2361–2376 (arXiv:1005.5370)
Last revised on June 18, 2020 at 02:26:37. See the history of this page for a list of all contributions to it.