[논문 리뷰] Span, Cospan, and Other Double Categories

Susan Niefield|arXiv (Cornell University)|2012. 01. 18.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 4

한 줄 요약

이 논문은 이중 범주 𝔻가 유도 범주에 대한 코스팬 이중 범주와 사이의 oplax/lax 수반 관계를 특성화하며, 이러한 수반 관계가 존재하는 것은 정확히 𝔻가 동반자, 쌍대동반자, 1-코타불레이터를 갖는 경우임을 보여준다. 오른쪽 수반은 동반자와 쌍대동반자에 의해 유도되며, 왼쪽 수반은 1-코타불레이터에 의해 유도되는데, 이는 대칭 대수와 아르틴-브라잇 접합을 일반화한다.

ABSTRACT

Given a double category D such that D_0 has pushouts, we characterize oplax/lax adjunctions between D and Cospan(D_0) such that the right adjoint is normal and restricts to the identity on D_0, where Cospan(D_0) denotes the double category on D_0 whose vertical morphisms are cospans. We show that such a pair exists if and only if D has companions, conjoints, and 1-cotabulators. The right adjoints are induced by the companions and conjoints, and the left adjoints by the 1-cotabulators. The notion of a 1-cotabulator is a common generalization of the symmetric algebra of a module and Artin-Wraith glueing of toposes, locales, and topological spaces. Along the way, we obtain a characterization of double categories with companions and conjoints as those for which the identity functor on D_0 extends to a normal lax functor from Cospan(D_0) to D.

연구 동기 및 목표

• 이중 범주 𝔻와 그 기저 범주 위의 코스팬 이중 범주 사이의 oplax/lax 수반 관계를 특성화하는 것.
• 오른쪽 수반이 정상적이고 기저 범주 위에서 항등사상으로 제한될 때, 이러한 수반 관계가 존재하기 위한 필요 및 충분 조건을 규명하는 것.
• 동반자, 쌍대동반자, 1-코타불레이터가 이러한 수반 관계를 유도하는 데 필요한 구조적 요소임을 보여주는 것.
• 다양한 구성 — 예를 들어 대칭 대수와 아르틴-브라잇 접합 — 을 1-코타불레이터의 개념 아래 통합하는 것.

제안 방법

• 논문은 푸시아웃을 갖는 이중 범주 프레임워크를 사용하여 oplax/lax 수반 관계를 정의하고 분석한다.
• 논문은 토포스와 위상 공간에서 대칭 대수와 아르틴-브라잇 접합을 일반화하는 1-코타불레이터의 개념을 도입한다.
• 오른쪽 수반의 구성은 이중 범주 𝔻 내의 동반자와 쌍대동반자에 기반한다.
• 왼쪽 수반은 특정한 릿지 문제에 대한 보편적 해로서 기능하는 1-코타불레이터로부터 구성된다.
• 논문은 이러한 수반 관계의 존재성과 𝔻 내의 동반자, 쌍대동반자, 1-코타불레이터의 존재성 사이의 동치를 확립한다.
• 논문은 모듈러 대수의 표준 예제들(예: 가환환 위의 모듈)과 토포스에 이러한 결과를 적용하여, 이들이 요구되는 구조를 만족함을 보여준다.

실험 결과

연구 질문

• RQ1 기저 범주 위의 코스팬 이중 범주와 사이에서, 오른쪽 수반이 정상적이고 기저 범주 위에서 항등사상으로 제한될 때, 이중 범주 𝔻와의 oplax/lax 수반 관계가 존재하는 조건은 무엇인가?
• RQ2 동반자, 쌍대동반자, 1-코타불레이터는 이러한 수반 관계의 구조와 어떻게 관련되어 있는가?
• RQ3 1-코타불레이터가 대칭 대수와 아르틴-브라잇 접합을 어떻게 일반화하는가?
• RQ4 이러한 수반 관계의 존재성을 이중 범주의 구조적 성질만으로 특성화할 수 있는가?
• RQ5 이러한 수반 관계에서 왼쪽 및 오른쪽 수반의 표준적 구성은 무엇인가?

주요 결과

• 옵라크/랩스 수반 관계가 𝔻와 CoSpan(𝔻₀) 사이에 주어진 조건을 만족할 때 존재하는 것은 정확히 𝔻가 동반자, 쌍대동반자, 1-코타불레이터를 갖는 경우이다.
• 이러한 수반 관계에서 오른쪽 수반은 𝔻의 객체들의 동반자와 쌍대동반자에 의해 유도된다.
• 왼쪽 수반은 코스팬을 포함하는 특정한 릿지 문제에 대한 보편적 해로 기능하는 1-코타불레이터에 의해 유도된다.
• 1-코타불레이터는 모듈 위의 대칭 대수 구성과 토포스, 로케일, 위상 공간에서의 아르틴-브라잇 접합을 모두 일반화한다.
• Mod(V)와 같은 이중 범주에서는 이러한 수반 관계가 등가성에 대해 유일하며, 동반자, 쌍대동반자, 1-코타불레이터에 의해 완전히 결정된다.
• 논문의 목록에 포함된 모든 예제(예: 모듈의 범주, 토포스)에 대해 이 구성이 적용되며, 이들이 이러한 수반 관계를 갖는다는 것이 확인된다.