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.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section Every bicategory with a weak duality involution is biequivalent to a 2-category with a strict duality involution, by a biequivalence which respects the involutions up to coherent equivalence.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section If \cA is a bicategory with a weak duality involution, then there is a 2-category \cA' with a strict duality involution and a duality pseudofunctor \cA\to\cA' that is a biequivalence.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section T is a strict 2-monad, and:
Normal pseudo T-algebras are 2-categories with strong duality involutions; section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
Pseudo T-morphisms are duality 2-functors; and section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
Strict T-algebras are 2-categories with strict duality involutions. section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section If is a 2-category with a strong duality involution, then there is a 2-category \cA' with a strict duality involution and a duality 2-functor \cA\to\cA' that is a 2-equivalence.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section The 2-category of 2-categories with strong duality involutions, duality 2-functors, and duality 2-natural transformations is 2-equivalent to the 2-category of 2-categories with contravariance in which every object has a strict opposite, 2-functors preserving contravariance, and 2-natural transformations respecting contravariance.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section The 2-category of 2-categories with contravariance, 2-functors preserving contravariance, and 2-natural transformations respecting contravariance is 2-equivalent to the 2-category of -enriched categories. =0pt =10000 =10000 =0 50 .2em -700
A 2-category with contravariance has opposites, as in label@name@defn:opposite ?, exactly if when regarded as a -category it has all copowers by \ensuremath{\mathbbb{1}}\xspace^{-}. =0pt =10000 =10000 =0 50 .2em -700
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section Let be a -bicategory with a twisted G-action, and for x,y\in \cA and g\in G define \uA^g(x,y) = \cA({x}^{g},y). Then \uA is a _G-bicategory with copowers by all the twisted units.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section Suppose and are -bicategories with twisted G-action, with resulting _G-bicategories and . If and are biequivalent as _G-bicategories, then and are biequivalent by a twisted G-functor.
In particular, if two bicategories and with duality involution give rise to biequivalent bicategories-with-contravariance, then and are biequivalent by a duality pseudofunctor.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section Any bicategory with contravariance is biequivalent to a 2-category with contravariance.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section If is a 2-category with contravariance that has weak opposites, then it is biequivalent to a 2-category with contravariance having strict opposites.
section
section
section
section
section
section
section
section
section
section
section
section
section
section
section If \cA is a bicategory with a weak duality involution, then there is a 2-category \cA' with a strict duality involution and a duality pseudofunctor \cA\to\cA' that is a biequivalence.
The text on this page is from arXiv:1606.05058v2 by Michael Shulman, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.
The record of each item is in analysis/objects/1606/1606.05058.jsonl.