Abstract: We define strict and weak duality involutions on 2-categories, and prove a coherence theorem that every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution. For this purpose we introduce "2-categories with contravariance", a sort of enhanced 2-category with a basic notion of "contravariant morphism", which can be regarded either as generalized multicategories or as enriched categories. This enables a universal characterization of duality involutions using absolute weighted colimits, leading to a conceptual proof of the coherence theorem.
Recommendations
- Categories enriched on two sides
- Adjunction in 2-categories
- Compact closed bicategories
- 2-Dimensional Categories
- scientific article; zbMATH DE number 6945020
- On dualizable objects in monoidal bicategories
- Variation through enrichment
- scientific article; zbMATH DE number 4108979
- A cocategorical obstruction to tensor products of Gray-categories
- scientific article; zbMATH DE number 4038062
Cites work
- A Cartesian presentation of weak \(n\)-categories
- A coherent approach to pseudomonads
- A general coherence result
- A reflection theorem for closed categories
- A unified framework for generalized multicategories
- An embedding theorem for tangent categories
- An enriched view on the extended finitary monad-Lawvere theory correspondence
- Avoiding the axiom of choice in general category theory
- Biequivalences in tricategories
- Codescent objects and coherence
- Coherence for tricategories
- Compact closed bicategories
- Comparison of models for ( , n)-categories. I
- Enhanced 2-categories and limits for lax morphisms
- Enriched categories as a free cocompletion
- Enrichment through variation
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- Flexible limits for 2-categories
- Framed bicategories and monoidal fibrations
- From coherent structures to universal properties
- Higher Topos Theory (AM-170)
- scientific article; zbMATH DE number 3843972 (Why is no real title available?)
- scientific article; zbMATH DE number 3512374 (Why is no real title available?)
- scientific article; zbMATH DE number 929701 (Why is no real title available?)
- Internal categories, anafunctors and localisations
- Lawvere theories, finitary monads and Cauchy-completion
- Monoidal bicategories and Hopf algebroids
- Not every pseudoalgebra is equivalent to a strict one
- Quasi-categories and Kan complexes
- The formal theory of monads
- Three-dimensional monad theory
- Two-dimensional monad theory
- Yoneda structures from 2-toposes
Cited in
(7)- Burnside rings for real \(2\)-representation theory: the linear theory
- Real representation theory of finite categorical groups
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Inversion, iteration, and the art of dual wielding
- scientific article; zbMATH DE number 2218907 (Why is no real title available?)
- A formal logic for formal category theory
- The univalence principle
This page was built for publication: Contravariance through enrichment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4563229)
