[논문 리뷰] Building the bicategory Span$_2(\mathcal {C})$

Franciscus Rebro|arXiv (Cornell University)|2015. 01. 05.

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

한 줄 요약

이 논문은 임의의 피보트와 종단 대상이 있는 범주 𝒞로부터 Span₂(𝒞)라는 이항범주를 구성한다. 여기서 객체는 𝒞-객체이며, 사상은 𝒞 내의 스펜(spans)이고, 2-사상은 스펜의 스펜에 대한 동형류이다. 주요 기여는 이 구조가 이항범주의 공리계를 만족함을 증명한 것으로, 이는 이전의 다양체 및 군oids 범주에서의 구성들을 일반화하며, $n$-다양체와 코일된 다양체에 적용하여 대칭 모나드 이항범주 구조를 도출한다.

ABSTRACT

Given any category $\mathcal{C}$ with pullbacks and a terminal object, we show that the data consisting of the objects of $\mathcal{C}$, the spans of $\mathcal{C}$, and the isomorphism classes of spans of spans of $\mathcal{C}$, forms a bicategory. We denote this bicategory Span$_2(\mathcal{C})$ and show that this construction can be applied to give a bicategory of $n$-manifolds, cobordisms of those manifolds, and cobordisms of cobordisms.

연구 동기 및 목표

• 스펜의 스펜을 포함하는 스펜의 이항범주를 일반화하여 고차원 구조를 형성하는 것.
• 𝒞가 피보트와 종단 대상을 갖는다면, 스펜의 스펜에 대한 동형류로 정의된 Span₂(𝒞)가 이항범주를 이룬다는 것을 증명하는 것.
• 이를 $n$-다양체와 다양체에 적용하여 코일된 다양체의 다양체 이항범주를 도출하는 것.
• 𝒞의 곱 구조를 이용해 Span₂(𝒞)를 대칭 모나드 이항범주로 확장하기 위한 기초를 마련하는 것.

제안 방법

• Span₂(𝒞)의 사상은 𝒞 내의 스펜으로 정의하고, 2-사상은 스펜의 스펜에 대한 동형류로 한다.
• 피보트를 사용하여 2-사상의 복합을 정의하고, 자연 동형을 통해 결합법칙을 보장한다.
• 항등 스펜을 사용하여 항등 2-사상을 확립하고, 피보트 성질을 통해 항등원 조건을 검증한다.
• 피보트의 보편성과 스펜의 스펜에 대한 동형을 이용하여 조율 조건(결합법칙 및 항등원 제약)을 증명한다.
• 모서리가 있는 $n$-다양체의 범주로 가는 함자 $K^n \to$ $n$-Man을 구성하여 큐빅 $σ$-다양체와 그들의 코일된 다양체를 모델링한다.
• 이를 $n$-다양체에 적용하여 코일된 다양체의 다양체가 Span₂(𝒞) 프레임워크 하에서 잘 정의된 이항범주를 이룬다는 것을 보여준다.

실험 결과

연구 질문

• RQ1 피보트와 종단 대상을 갖는 임의의 범주 𝒞에서 스펜과 스펜의 스펜을 1-사상과 2-사상으로 사용하여 이항범주를 구성할 수 있는가?
• RQ2 스펜의 스펜에 대한 피보트로 정의된 2-사상의 복합이 이항범주의 결합법칙 및 항등원 제약 조건을 만족하는가?
• RQ3 이 구성은 모서리가 있는 $n$-다양체의 범주에 적용되어 코일된 다양체의 다양체 이항범주를 도출할 수 있는가?
• RQ4 결과로 얻어진 이항범주 Span₂(𝒞)는 추가로 확장 가능한가, 예를 들어 대칭 모나드 구조로 확장 가능한가?

주요 결과

• 𝒞가 피보트와 종단 대상을 갖는 한 Span₂(𝒞)는 잘 정의된 이항범주이며, 2-사상의 복합은 스펜의 스펜에 대한 피보트로 주어진다.
• 스펜의 스펜에 대한 동형류가 2-사상이 되며, 이는 피보트의 보편성과 일치하여 조율성을 보장한다.
• 이항범주 구조는 동형에 대해 안정적이며, 스펜의 스펜에 대한 동형은 동일한 2-사상으로 식별된다.
• 이 구성은 $n$-다양체에 적용되어 $(n-2)$-다양체, $(n-1)$-차원 코일된 다양체, $n$-차원 코일된 다양체의 다양체로 구성된 이항범주를 도출한다.
• 큐빅 $σ$-다양체는 자연스럽게 함자 $K^n \to σ$-Man을 유도하여 코일된 $n$-중 다양체의 체계적 구성이 가능하다.
• 이 프레임워크는 향후 작업에서 언급된 바와 같이, 𝒞의 곱 구조를 이용해 Span₂(𝒞)를 대칭 모나드 이항범주로 확장하기 위한 기초를 제공한다.