Contravariance through enrichment

MaRDI QIDQ4563229zbMATH OpenFDO

Authors Michael Shulman

Publication date 7 June 2018

Full work available at URL https://arxiv.org/abs/1606.05058, http://www.tac.mta.ca/tac/volumes/33/5/33-05abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

opposite categorycoherence theoremcontravarianceduality involutionenriched bicategorygeneralized multicategoryopposite object

Mathematics Subject Classification ID

Enriched categories (over closed or monoidal categories) (18D20)

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

• 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?)
• 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)
• 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

(6)

• Real representation theory of finite categorical groups
• A formal logic for formal category theory
• scientific article; zbMATH DE number 2218907 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• MathOverflow

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)