Contravariance through enrichment
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2016
- DOI:
- 10.48550/arXiv.1606.05058
- arXiv:
- arXiv:1606.05058
- Bibcode:
- 2016arXiv160605058S
- Keywords:
-
- Mathematics - Category Theory
- E-Print:
- 36 pages. v2: typos corrected