[논문 리뷰] Spans in 2-Categories: A monoidal tricategory

Alexander E. Hoffnung|arXiv (Cornell University)|2011. 12. 02.

Homotopy and Cohomology in Algebraic Topology참고 문헌 9인용 수 14

한 줄 요약

이 논문은 유한한 극한을 갖는 엄격한 2-카테고리에서의 스펙트럼이 가중 카테고리의 정의를 통해 한 개의 객체를 가진 4-카테고리를 구성함으로써, 모나이드 트리카테고리임을 증명한다. 가중 엄격한 2-극한, 특히 등가-공통 객체와 W-가중 극한을 사용하여 역행성 2-세포를 갖는 극한을 정의함으로써 트리카테고리의 구조에서 일관성을 확보한다. 주요 기여는 결합법칙과 항등원 수정이 항등 사상이 아닌 애드조이ント 동치인 반면 수정은 자명한 반만 엄격한 트리카테고리로서, 그로우-카테고리와는 다름을 밝혀낸 것이다.

ABSTRACT

We present Trimble's definition of a tetracategory and prove that the spans in (strict) 2-categories with certain limits have the structure of a monoidal tricategory, defined as a one-object tetracategory. We recall some notions of limits in 2-categories for use in the construction of the monoidal tricategory of spans.

연구 동기 및 목표

• 유한한 극한을 갖는 엄격한 2-카테고리에서의 스펙트럼이 모나이드 트리카테고리임을 증명하는 것.
• 트림블의 생성자와 관계를 통한 정의를 통해, 이 트리카테고리의 구체적 구성 방법을 제공하는 것.
• 특히 W-가중 극한과 등가-공통 객체를 포함한 가중 엄격한 2-극한이 역행성 2-세포를 갖는 일관성 있는 극한을 정의하는 데서 수행하는 역할를 명확히 하는 것.
• 결과로 얻어진 트리카테고리가 반만 엄격한 성격을 띠며, 수정은 자명하지만 결합법칙과 항등원에 대한 애드조이ント 동치는 항등 사상이 아니므로 그로우-카테고리의 구조를 갖지 못함을 보여주는 것.

제안 방법

• 한 개의 객체를 가진 4-카테고리로서 트림블의 4-카테고리 정의를 사용하여 모나이드 트리카테고리를 정의한다.
• 엄격한 2-카테고리 C에서의 스펙트럼을 공통된 목적지를 갖는 1-준거로 정의하며, 이를 둘러싼 2-준거는 순환 삼각형의 형태로 주어진다.
• 특히 W-가중 극한을 사용하여 역행성 2-세포를 갖는 의사극한을 모델링하는 가중 엄격한 2-극한을 활용한다.
• 비-삼각형 가중 함수 W: D → Cat를 사용하여 투사 사상 간의 역행성 2-준거를 도입하는 극한의 원형을 구성한다.
• 엄격한 역행성 변환 φ를 통해 보편 성질을 확립함으로써 비교 사상의 전부가 유일하게 존재함을 보장한다.
• 수정 간의 일관성을 입증하기 위해, φA에 의한 등장성으로 인해 원형 간의 수정이 유일한 2-준거로 대응됨을 보여준다.

실험 결과

연구 질문

• RQ1 유한한 극한을 갖는 엄격한 2-카테고리에서의 스펙트럼이 모나이드 트리카테고리의 구조를 지닐 수 있는가?
• RQ2 W-가중 극한과 같은 가중 엄격한 2-극한은 어떻게 역행성 2-세포를 갖는 일관성 있는 스펙트럼의 구성에 기여하는가?
• RQ3 수정이 자명한 데도 불구하고 결과로 얻어진 트리카테고리가 왜 그로우-카테고리가 되지 못하는가?
• RQ4 결합법칙과 항등원에 대한 애드조이ント 동치는 이 트리카테고리가 더 엄격한 구조와 어떻게 다름을 밝혀내는가?
• RQ5 극한 구성에서 등가-공통 객체와 역행성 2-세포의 사용이 트리카테고리의 일관성 확보에 어떤 역할을 하는가?

주요 결과

• 유한한 극한을 갖는 엄격한 2-카테고리에서의 스펙트럼은 트림블의 4-카테고리 프레임워크 하에서 모나이드 트리카테고리로 구성된다.
• 이 트리카테고리의 구조는 한 개의 객체를 가진 4-카테고리에서 유래되며, 준거는 스펙트럼, 2-준거는 순환 삼각형으로 주어진다.
• 이 구성은 W-가중 엄격한 2-극한을 통해 역행성 2-세포를 갖는 의사극한을 모델링함으로써 일관성을 확보한다.
• 보편 성질에서 수정은 자명하지만, 결합법칙과 항등원에 대한 애드조이ント 동치는 항등 사상이 아니며, 이는 그 구조가 그로우-카테고리가 될 수 없음을 막는다.
• 보편 성질은 엄격한 역행성 변환 φ를 통해 검증되며, 각 원형이 비교 사상으로 유일하게 올라감을 보장한다.
• 결과로 얻어진 트리카테고리는 반만 엄격하다: 완전히 약한 것은 아니지만, 그로우-카테고리만큼 엄격하지 않으며, 결합법칙과 항등원 법칙에서 비항등 사상의 일관성 데이터가 존재하기 때문이다.