텐서 범주 탐구 가이드

이 강의노트는 텐서(모노이달) 범주의 핵심 개념을 비전형적인 비기술적 서술로 정리한다. 서두에서는 엄격 텐서 범주의 정의를 제시한다. 엄격 텐서 범주는 객체 C, 이항함자 ⊗:C×C→C, 그리고 단위 객체 1을 갖으며, 결합법칙 (X⊗Y)⊗Z = X⊗(Y⊗Z)와 단위법칙 X⊗1 = X = 1⊗X가 동등하게 성립한다. 엄격 텐서 함자는 이러한 구조를 보존하는 함자이며, 모노이달 자연 변환은 단위와 텐서곱에 대해 항등을 만족한다. 하지만 실제 수학적 상황에서는 대부분의 텐서 범주가 엄격하지 않다. 이를 해결하기 위해 비엄격 텐서 범주의 정의가 도입된다. 비엄격 텐서 범주는 결합자 α: (X⊗Y)⊗Z → X⊗(Y⊗Z), 좌·우 단위자 λ:1⊗X→X, ρ:X⊗1→X라는 자연동형사상을 포함한다. 이들 사상은 펜타곤 식과 삼각형 식을 만족해야 하며, 이러한 일련의 일관성 조건을 ‘코히어런스 정리’라 부른다. 코히어런스 정리에는 두 가지 버전이 있다. 버전 I(맥레인)은 펜타곤 식과 단위 식만으로 충분함을 보이며, 버전 II는 모든 텐서 범주가 동등하게 엄격 텐서 범주와 동형임을 선언한다. 이 정리 덕분에 실제 계산에서는 엄격성을 가정하고 진행해도 무방하다. 다음으로 다양한 예시가 제시된다. 첫 번째는 임의의 범주 C에 대한 End C, 즉 C에서 자기 자신으로 가는 함자들의 범주가 엄격 텐서 범주가 되는 경우이다. 두 번째는 군 G에 대한 이산 텐서 범주 C(G)로, 객체가 군 원소이며 사상은 동등성(동일 원소일 때만 존재)이다. 세 번째는 자유 대칭 텐서 범주 S, 즉 자연수 객체와 덧셈을 텐서곱으로 하는 범주이며, 이는 유한 집합과 전단사 사상의 범주와 동등하다. 네 번째는 템플러‑리프(TL(τ)) 범주로, 평면 다이어그램을 사상으로 하는 k‑선형 범주이며, Jones 다항식 및 양자군 SL_q(2)와 깊은 연관이 있다. 그 외에도 알제브라 A의 엔드범주 End A, 그리고 3‑코호몰로지 클래스 ω∈Z³(G,A)를 이용해 정의되는 C(G,ω)와 같은 ‘그룹 이론적’ 텐서 범주가 소개된다. 이 경우 α는 ω에 의해 정의된 결합자이며, ω와 동형인 경우에만 두 범주가 모노이달 동형임을 보인다. 이러한 예시는 텐서 범주와 코호몰로지, 고차 범주 이론 사이의 교차점을 보여준다. 텐서 함자에 대한 섹션에서는 강(강함) 텐서 함자와 레시브(느슨) 텐서 함자를 구분한다. 강 텐서 함자는 단위 동형 e_F와 텐서 변환 d_{X,Y}가 모두 동형이어야 하며, 이는 코히어런스 사각형을 만족한다. 레시브 텐서 함자는 이러한 동형 조건을 완화한다. 또한 모노이달 동형성(equivalence)의 필요충분조건을 제시한다. 즉, 함자 F가 전사성(fully faithful)이고 본질적으로 전사(essentially surjective)이며 모노이달이면, 역함자 G와 자연 동형을 통해 동형을 이룬다. 다음으로 2‑카테고리와 바이카테고리로의 일반화를 논한다. 2‑카테고리는 객체, 1‑사상, 2‑사상으로 구성되며, 각 객체 X에 대해 END(X)=HOM(X,X) 가 엄격 텐서 범주가 된다. 비엄격 텐서 범주를 다루기 위해서는 결합법칙을 2‑동형사상으로 약화한 바이카테고리를 도입한다. 이는 고차 범주 이론에서 텐서 범주가 차지하는 위치를 명확히 하며, 다양한 응용(예: 모듈 범주, 양자 대수 등)에서 활용된다. 마지막으로 텐서 범주의 ‘범주화’를 다룬다. 모노이드를 텐서 범주 안에 정의하면, 그 모노이드의 왼쪽 모듈은 (X,μ) 형태로 정의되며, 이는 전통적인 대수학에서의 모듈 개념과 일치한다. 모노이드 A의 모듈 범주 A‑Mod는 충분한 조건(예: A가 강하게 분리된 프뢰베니우스 대수) 하에 아벨리안 카테고리가 된다. 또한 모노이드 A의 원소 집합 ΓA=Hom(1,A)는 집합론적 관점에서 A의 ‘원소’를 제공한다. 전체적으로 이 강의노트는 텐서 범주의 정의, 코히어런스 정리, 비엄격 구조, 다양한 예시, 텐서 함자와 동형성, 고차 일반화, 그리고 범주화까지 포괄적으로 정리한다. 비전문가도 접근 가능하도록 서술했으며, 전문가에게는 참고문헌과 최신 리뷰(예: