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
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
The notion of dual morphism is the generalization to arbitrary monoidal categories of the notion of dual linear map in the category Vect of vector spaces.
Given a morphism between two dualizable objects in a monoidal category , the corresponding dual morphism
is the one obtained by by using the duality unit of (the coevaluation map) and the duality counit of (the evaluation map) as follows:
This notion is a special case of the the notion of mate in a 2-category.
Namely if is the delooping 2-category of the monoidal category , then objects of correspond to morphisms of , dual objects correspond to adjunctions and morphisms in correspond to 2-morphisms in . Under this identification a morphism in may be depicted as a 2-morphism of the form
and duality on morphisms is then given by the mate bijection
In Vect with its standard tensor product monoidal structure, a dual object is a dual vector space and a dual morphism is a dual linear map.
If , are C*-algebras which are PoincarΓ© duality algebras, hence dualizable objects in the KK-theory-category, then for a morphism it is K-oriented, the corresponding Umkehr map is (postcomposition) with the dual morphism of its opposite algebra version:
See at KK-theory β Push-forward in KK-theory.
More generally, twisted Umkehr maps in generalized cohomology theory are given by dual morphisms in (β,1)-category of (β,1)-modules. See at twisted Umkehr map for more.
Last revised on July 22, 2018 at 17:19:31. See the history of this page for a list of all contributions to it.