iBet uBet web content aggregator. Adding the entire web to your favor.
Link to original content: http://ncatlab.org/nlab/show/fully dualizable object
With braiding
With duals for objects
category with duals (list of them)
dualizable object (what they have)
ribbon category, a.k.a. tortile category
With duals for morphisms
monoidal dagger-category?
With traces
Closed structure
Special sorts of products
Semisimplicity
Morphisms
Internal monoids
Examples
Theorems
In higher category theory
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
abstract duality: opposite category,
concrete duality: dual object, dualizable object, fully dualizable object, dualizing object
Examples
between higher geometry/higher algebra
Langlands duality, geometric Langlands duality, quantum geometric Langlands duality
In QFT and String theory
A dualizable object in a symmetric monoidal (∞,n)-category is called fully dualizable if the structure maps of the duality unit and counit each themselves have adjoints, which have adjoints, and so on, up to level .
By the cobordism hypothesis-theorem, symmetric monoidal (∞,n)-functors out of the (∞,n)-category of cobordisms are characterized by their value on the point, which is a fully dualizable object.
In the symmetric monoidal category Vect of vector spaces (over some field), the fully dualizable objects are the finite-dimensional vector spaces.
In the 2-category of associative algebras with bimodules between them as morphisms, over a commutative ring, fully dualizable objects are separable algebras which are projective modules over the base ring (these conditions are given in SchommerPries 11, Definition 3.70 and attributed to Lurie’s paper cited below).
In the symmetric monoidal 3-category of monoidal categories and bimodule categories between them, the fully dualizable objects are (or at least contain) the fusion categories. (DSPS 13).
| geometry | monoidal category theory | category theory |
|---|---|---|
| perfect module | (fully-)dualizable object | compact object |
The definition appears around claim 2.3.19 of
Review:
Detailed discussion in degree 2 and 3:
Chris Schommer-Pries, The Classification of Two-Dimensional Extended Topological Field Theories (arXiv:1112.1000)
Chris Douglas, Chris Schommer-Pries, Noah Snyder, Dualizable tensor categories (arXiv:1312.7188)
Last revised on September 21, 2023 at 07:55:41. See the history of this page for a list of all contributions to it.