[논문 리뷰] A characterization of representable intervals

Michael A. Warren|arXiv (Cornell University)|2009. 03. 22.

Logic, programming, and type systems참고 문헌 12인용 수 5

한 줄 요약

이 논문은 대칭 모노이드 닫힘 범주에서 표현 가능한 엄격한 간격을 특성화하며, 이러한 간격이 유한 이중완비 2범주 구조를 유도할 조건을 규명한다. 이는 엄격한 간격이 표현 가능할 조건이 바로 상위 및 하위 원소가 생성자로 작용하는 분배 래티스임을 증명함으로써, 2범주적 맥락에서 대수적 구조와 호모토피적 완비성 간의 연결 고리를 제공한다.

ABSTRACT

In this note we provide a characterization, in terms of additional algebraic structure, of those intervals (certain cocategory objects) in a symmetric monoidal closed category E that are representable in the sense of inducing on E the structure of a finitely bicomplete 2-category. Several examples and connections with the homotopy theory of 2-categories are also discussed.

연구 동기 및 목표

• 대칭 모노이드 닫힘 범주에서 유한 이중완비 2범주 구조를 유도하는 엄격한 간격 객체를 특성화하기 위해.
• 그러한 간격이 잘 정의된 호모토피 이론적 구조를 유도할 수 있는 대수적 조건을 규명하기 위해.
• 표현 가능성의 개념을 래티스 이론적 성질, 특히 분배성과 상위 및 하위 원소에 의한 생성과 연결하기 위해.
• 약한 고차원 간격과 그 모델 구조를 연구하기 위한 기초를 마련하기 위해.
• 간격 객체와 2범주적 모델 구조 간의 관계를 탐색하며, 특히 오페라드 맥락에서의 응용을 고려하기 위해.

제안 방법

• 대칭 모노이드 닫힘 범주 E에서의 코범주 객체로서 엄격한 간격을 정의하며, 텐서 단위 U를 공갂数의 객체로 삼는다.
• 그러한 간격이 유도하는 세쿼케이테고리 구조를 도입하며, 모노이드 구조가 카르테시안일 경우 이는 2범주가 된다.
• 유한 이중완비성(모든 유한 허위극한과 허위곱극한의 존재)의 2범주적 개념을 적용하여 표현 가능한 간격을 특성화한다.
• 범주 E 내에서의 푸시아웃과 풀백의 보편 성질을 이용하여 유도된 2범주의 구조 사상들을 정의한다.
• 내부 함의와 텐서 곱을 활용하여 간격의 대수적 구조를 표현하며, 특히 공모듈로이드와 래티스 연산을 통해 기술한다.
• 간격이 표현 가능할 경우, 베르거와 무어디크의 결과를 응용하여 감소된 오페라드 위의 모델 구조를 올리는 데 사용한다.

실험 결과

연구 질문

• RQ1 엄격한 간격 객체가 유한 이중완비 2범주 구조를 유도하기 위해 필요한 대수적 조건은 무엇인가?
• RQ2 간격 위의 분배 래티스 구조가 2범주적 맥락에서의 표현 가능성과 어떻게 관련되는가?
• RQ3 상위 및 하위 원소가 표현 가능성에서 차지하는 생성자 역할은 무엇인가?
• RQ4 표현 가능한 간격은 2범주 및 오페라드의 범주에 대한 모델 구조와 어떻게 관련되는가?
• RQ5 대수적 구조 측면에서 엄격한 간격은 상위 또는 단순형 간격(예: 위상적 또는 단순형 단위 간격)과 어떻게 다를까?

주요 결과

• 대칭 모노이드 닫힘 범주 E 내 엄격한 간격 I는 I가 상위 및 하위 원소가 생성자로 작용하는 분배 래티스일 때이고, 그 경우에만 표현 가능하다 — 즉, I는 유한 이중완비 2범주를 유도한다.
• 간격의 표현 가능성은 공승승화, 승승화, 래티스 연산이 모두 일치하는 조건을 만족하는, 가환 허프 객체로서의 분배 래티스 구조를 가진다는 것과 동치이다.
• 닫힌 단위 간격 [0,1]과 단순형 간격 Δ[1]은 이 정의에서 엄격한 간격 객체가 아니며, 엄격한 코범주 공리계를 만족하지 못하므로 약한 ω-간격으로 간주되어야 한다.
• 간격이 표현 가능할 경우, 유도된 2범주 구조는 유한 이중완비성을 띠며, 이는 레이크의 결과를 적용할 수 있게 하여, 범주적 동치를 약한 동치로, 등기자-포지션을 분리자로 하는 모델 구조를 적용할 수 있다.
• E 위의 감소된 오페라드의 범주에 대한 모델 구조는 간격이 표현 가능하고 모델 구조가 모노이드일 경우, 베르거와 무어디크의 정리에 의해 올릴 수 있다.
• 이 논문은 표현 가능성과 상위 및 하위 원소가 생성자로 작용하는 단위 분배 래티스로서의 간격이 동치임을 증명하며, 이러한 구조는 유도된 2범주에서 모든 유한 허위극한과 허위곱극한의 존재를 보장한다.