[논문 리뷰] Contravariance through enrichment

Michael Shulman|arXiv (Cornell University)|2016. 06. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 29인용 수 6

한 줄 요약

이 논문은 비대칭 모나이드 범주 V에 대한 풍부화된 범주로서 반공변성을 가진 2-범주를 도입하여, 절대 가중 쌍대극한을 통한 이중성 역전의 보편적 특성화를 가능하게 한다. 이는 약한 이중성 역전을 갖는 이중범주가 엄격한 이중성 역전을 갖는 2-범주와 비등가임을 증명하는 코herency 정리로 이어지며, 이는 풍부화된 이중범주와 요네다 임bedding을 이용한 증명이다.

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 및 관련 2-범주에서의 (−)op와 같은 이중성 역전을 추상적으로 특성화하는 데서 발생하는 기초적 간극을 해결하기 위해.
• 이중범주에서의 약한 이중성 역전이 엄격한 이중성 역전을 갖는 2-범주로의 비등가를 통해 엄격하게 실현될 수 있음을 증명하기 위해.
• 특정 모나이드 범주 V에 대해 반공변성을 갖는 2-범주가 V-풍부화된 범주와 동치임을 보여, 일반화된 다중범주와 풍부화된 범주론을 통합하기 위해.

제안 방법

• 공변 및 반공변 호모로고지 범주를 갖는 구조로서 반공변성을 가진 2-범주를 도입하며, 이는 합성과 반공변 사상에 대한 후행합성에 대해 닫혀 있다.
• V-풍부화된 범주가 정확히 반공변성을 가진 2-범주와 대응되는 비대칭 모나이드 범주 V를 정의한다.
• 풍부화된 이중범주 이론과 V-가중 쌍대극한을 사용하여 반공변 사상의 표현 가능성을 엄격한 역전으로 특성화한다.
• 중간 A-모듈의 V-이중범주로의 요네다 임bedding을 적용하여, 이 이중범주가 반공변성을 갖는 엄격한 2-범주임을 보여준다.
• 엄격한 역전에 대한 자유 쌍대완비화를 구성하여, 반공변성의 약한 형태가 엄격한 역전을 갖는 구조로의 비등가를 암시함을 보인다.
• 엄격한 역전과 강력한 이중성 역전 간의 동치를 이용하여, 약한 이중성 역전이 비등가를 통해 엄격한 이중성 역전과 코herency됨을 결론짓는다.

실험 결과

연구 질문

• RQ1 풍부화된 설정에서 가중 쌍대극한을 이용해 2-범주에서의 이중성 역전을 보편적으로 특성화할 수 있는가?
• RQ2 이중범주에서의 약한 이중성 역전을 비등가를 통해 엄격한 것으로 대체할 수 있는가?
• RQ3 풍부화를 통해 2-범주적 프레임워크 내에서 반공변 사상을 체계적으로 모델링할 수 있는가?
• RQ4 이중성의 맥락에서 일반화된 다중범주와 풍부화된 범주론 간의 관계는 무엇인가?
• RQ5 모든 이중범주에서 약한 이중성 역전을 갖는 것은 비등가를 통해 엄격한 이중성 역전을 갖는 2-범주로 임베딩될 수 있는가?

주요 결과

• 약한 이중성 역전을 갖는 모든 이중범주는 이중성 구조에 대해 코herent한 동치를 유지하면서 엄격한 이중성 역전을 갖는 2-범주와 비등가임을 보였다.
• 반공변성을 갖는 2-범주는 특정한 비대칭 모나이드 범주 V에 대한 V-풍부화된 범주와 동치이며, 이는 일반화된 다중범주와 풍부화된 범주론을 통합한다.
• 중간 A-모듈의 V-이중범주로의 요네다 임bedding은 반공변성을 갖는 엄격한 2-범주를 제공하며, 이는 반공변성을 갖는 모든 이중범주에 대해 비등가를 이룬다.
• 반공변성을 갖는 2-범주에서의 약한 역전은 엄격한 역전에 대한 자유 쌍대완비화를 통해 엄격한 역전을 갖는 구조로의 비등가를 암시한다.
• 엄격한 역전을 갖는 2-범주는 강력한 이중성 역전을 갖는 2-범주와 동치이며, 이는 2-모나이드 코herency를 통해 엄격한 이중성 역전을 갖는 2-범주와도 동치임을 보였다.
• 전체 프레임워크는 개념적으로 통합되어 있으며, 이중성 역전은 풍부화된 이중범주에서 절대 가중 쌍대극한으로 특성화되며, 이는 코herency에 대한 개념적 증명을 이끈다.