[논문 리뷰] Closed categories vs. closed multicategories

Oleksandr Manzyuk|ArXiv.org|2009. 04. 20.

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

한 줄 요약

이 논문은 Eilenberg와 Kelly가 정의한 닫힌 범주(2-category of closed categories)와 닫힌 다중범주(2-category of closed multicategories)의 전순 2부분범주 사이의 동치를 수립한다. 모든 닫힌 다중범주는 기저 함자를 통해 닫힌 범주로 이끌어내며, 반대로 모든 닫힌 범주는 닫힌 다중범주로부터 유도될 수 있으며, 이 두 구성은 상등성에 대해 상호 역전이다.

ABSTRACT

We prove that the 2-category of closed categories of Eilenberg and Kelly is equivalent to a suitable full 2-subcategory of the 2-category of closed multicategories.

연구 동기 및 목표

• 닫힌 범주와 닫힌 다중범주 사이의 엄밀한 범주론적 동치를 수립하기.
• 내부 함자에 대해 닫혀 있는 $A_{\nu}$-범주와 $A_{\nu}$-함수의 존재에 대한 개념적 기초를 제공하기.
• 다중범주론적 형식을 통해 단순한 닫힌 모나이드 범주와 더 일반적인 닫힌 구조 간의 관계를 명확히 하기.
• 특히 모나이드 구조가 존재하지 않는 맥락에서, 닫힌 다중범주라는 개념이 닫힌 모나이드 범주에 대한 자연스러운 일반화임을 체계화하기.

제안 방법

• 닫힌 다중범주의 2범주에서 닫힌 범주의 2범주로의 함자를 구성함으로써, 기저 닫힌 범주 구조를 추출한다.
• 다중선형 사상에 대해 보편 성질을 만족하는 내부 함자 객체 $\underline{{\mathsf{V}}}(X_1,\dots,X_m;Z)$ 와 평가 사상의 정의를 내린다.
• 다중범주론적 형식으로 $A_{\infty}$-범주의 다중범주가 닫혀 있음을 보이며, 이는 $A_{\infty}$-함수의 $A_{\infty}$-범주의 개념적 기원을 제공한다.
• 닫힌 범주 $\mathcal{V}$ 에서 그에 대응하는 다중범주 $\mathsf{V}$ 로 가는 표준 함자 $L: \mathcal{V} \to \mathsf{V}$ 가 범주의 동형사상임을 증명한다.
• 닫힌 범주 내의 자연 변환 $i_X$, $j_X$, 및 $L^X_{YZ}$ 가 다중범주론적 평가 및 합성 법칙을 통해 함자 $L$ 을 통해 유도됨을 검증한다.
• 다중범주론적 평가의 보편 성질을 이용하여 닫힌 범주 공리계를 재구성함으로써, 완전한 동치를 증명한다.

실험 결과

연구 질문

• RQ1 닫힌 범주의 2범주와 닫힌 다중범주의 전순 2부분범주 사이에 2-범주적 동치가 존재하는가?
• RQ2 $A_{\infty}$-함수의 $A_{\infty}$-범주 구조가 닫힌 다중범주로부터 기인하는가를 이해할 수 있는가?
• RQ3 닫힌 다중범주 내의 내부 함자와 평가 구조가 닫힌 범주 내의 그것들과 어떻게 관련되는가?
• RQ4 모나이드 곱이 존재하지 않을 경우, 닫힌 모나이드 범주와 닫힌 다중범주 간의 정확한 관계는 무엇인가?
• RQ5 모든 닫힌 범주는 표준적인 방식으로 닫힌 다중범주로부터 재구성될 수 있는가?

주요 결과

• 닫힌 범주의 2범주는 닫힌 다중범주의 전순 2부분범주와 동치이다.
• 모든 닫힌 다중범주는 내부 함자와 평가 구조를 유지하는 표준적 구성에 의해 닫힌 범주로 이끌어진다.
• 닫힌 범주 $\mathcal{V}$ 에서 그에 대응하는 다중범주 $\mathsf{V}$ 로 가는 표준 함자 $L: \mathcal{V} \to \mathsf{V}$ 는 범주의 동형사상이다.
• 닫힌 범주 내의 자연 변환 $i_X$, $j_X$, 및 $L^X_{YZ}$ 는 다중범주론적 평가 및 합성 법칙에 의해 유도된다.
• 닫힌 범주 내의 사상 $L^X_{YZ}: \underline{{\mathcal{V}}}(Y,Z) \to \underline{{\mathcal{V}}}(\underline{{\mathcal{V}}}(X,Y), \underline{{\mathcal{V}}}(X,Z))$ 는 함자 $L$ 에서의 $L^{L^X_{YZ}}$ 와 대응된다.
• 닫힌 다중범주 내에서 평가의 보편 성질은 닫힌 범주 공리계가 만족됨을 보장하며, 이는 동치의 확인을 위한 핵심이다.