Contravariance through enrichment
From MaRDI portal
Publication:4563229
zbMATH Open1393.18002arXiv1606.05058MaRDI QIDQ4563229FDOQ4563229
Authors: Michael Shulman 
Publication date: 7 June 2018
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.
Full work available at URL: https://arxiv.org/abs/1606.05058
File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)
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
opposite categorycoherence theoremcontravarianceduality involutionenriched bicategorygeneralized multicategoryopposite object
Cites Work
- Compact closed bicategories
- Title not available (Why is that?)
- Higher Topos Theory (AM-170)
- A general coherence result
- Two-dimensional monad theory
- Codescent objects and coherence
- The formal theory of monads
- Yoneda structures from 2-toposes
- Title not available (Why is that?)
- Title not available (Why is that?)
- Enhanced 2-categories and limits for lax morphisms
- Enriched categories as a free cocompletion
- Enrichment through variation
- A reflection theorem for closed categories
- Quasi-categories and Kan complexes
- Coherence for tricategories
- Fibrations and Yoneda's lemma in an \(\infty\)-cosmos
- A Cartesian presentation of weak \(n\)-categories
- Comparison of models for \((\infty , n)\)-categories. I
- Monoidal bicategories and Hopf algebroids
- Framed bicategories and monoidal fibrations
- Internal categories, anafunctors and localisations
- A coherent approach to pseudomonads
- Avoiding the axiom of choice in general category theory
- Flexible limits for 2-categories
- A unified framework for generalized multicategories
- An embedding theorem for tangent categories
- Biequivalences in tricategories
- From coherent structures to universal properties
- Three-dimensional monad theory
- Not every pseudoalgebra is equivalent to a strict one
- Lawvere theories, finitary monads and Cauchy-completion
- An enriched view on the extended finitary monad-Lawvere theory correspondence
Cited In (6)
- Real representation theory of finite categorical groups
- A formal logic for formal category theory
- Title not available (Why is that?)
- Burnside rings for real \(2\)-representation theory: the linear theory
- The 2-Chu-Dialectica construction and the polycategory of multivariable adjunctions
- Inversion, iteration, and the art of dual wielding
Uses Software
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)
