[论文解读] Contravariance through enrichment

Michael Shulman|arXiv (Cornell University)|Jun 16, 2016

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用 6

一句话总结

本文將具對稱反變性的 2-範疇定義為非交換單元範疇 V 上的加權範疇，從而能以絕對加權上同調極限的方式普遍表徵對偶對換。本文證明了一個共軛定理：每個具有弱對偶對換的 2-範疇，皆透過保持對偶結構的雙等價，雙等價於具嚴格對偶對換的 2-範疇，其證明使用了加權 2-範疇與 Yoneda 嵌入。

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.

研究动机与目标

• 利用範疇理論的加權方法，建立 2-範疇中對偶對換的理論框架。
• 彌補在抽象表徵對偶對換（如 Cat 中的 (−)op 及相關 2-範疇）時的基礎性缺口。
• 證明雙範疇中弱對偶對換可透過雙等價至具嚴格對偶對換的 2-範疇而嚴格實現。
• 透過證明具反變性的 2-範疇與特定單元範疇 V 上的 V-加權範疇等價，統合廣義多分類與加權範疇理論。

提出的方法

• 將具反變性的 2-範疇定義為具有共變與反變同態範疇的結構，且在複合與反變態射的後複合下封閉。
• 定義一個非交換單元範疇 V，使得 V-加權範疇恰好對應至具反變性的 2-範疇。
• 利用加權雙範疇與 V-加權上同調極限的理論，將反變態射的表示性表徵為嚴格對偶。
• 將 Yoneda 嵌入應用至中等 A-模的 V-雙範疇，顯示此雙範疇為具反變性的嚴格 2-範疇。
• 建構在嚴格對偶下的自由上同調完備化，以顯示弱對偶意味著與具嚴格對偶的結構雙等價。
• 利用嚴格對偶與強對偶對換之間的等價性，結論出弱對偶對換在雙等價下與嚴格對偶共軛。

实验结果

研究问题

• RQ1 是否能在加權範疇的架構下，以加權上同調極限普遍表徵 2-範疇中的對偶對換？
• RQ2 是否能透過雙等價，將雙範疇中的弱對偶對換取代為嚴格對偶？
• RQ3 如何在 2-範疇框架下，系統性地建模反變態射？
• RQ4 在對偶的脈絡下，廣義多分類與加權範疇之間的關係為何？
• RQ5 每個具有弱對偶對換的雙範疇，是否能透過保持對偶結構的雙等價，嵌入至具嚴格對偶對換的 2-範疇？

主要发现

• 每個具有弱對偶對換的雙範疇，皆雙等價於具嚴格對偶對換的 2-範疇，且對偶結構在一致等價下被保持。
• 具反變性的 2-範疇與特定非交換單元範疇 V 上的 V-加權範疇等價，統合了廣義多分類與加權範疇理論。
• 將 Yoneda 嵌入至中等 A-模的 V-雙範疇，可產生具反變性的嚴格 2-範疇，進而為任一具反變性的雙範疇提供雙等價。
• 在具反變性的 2-範疇中，弱對偶意味著該範疇雙等價於具嚴格對偶的結構，透過在嚴格對偶下的自由上同調完備化實現。
• 具嚴格對偶的 2-範疇等價於具強對偶對換的 2-範疇，而後者又透過 2-單子共軛性等價於具嚴格對偶對換的 2-範疇。
• 整個框架在概念上是統一的：對偶對換被表徵為加權雙範疇中的絕對加權上同調極限，進而導出共軛性的概念性證明。