2 셀 구조를 가진 범주 내부의 가짜 범주 개념 확장

초록

이 논문은 2-카테고리 대신 2-셀 구조를 갖는 세수키테고리(세스키카테고리) 위에서 가짜 범주(pseudocategory)의 정의를 일반화한다. 내부 변환, 군의 켤레, 교차 모듈의 미분, 아벨 연쇄 복합체의 호모토피 등 다양한 2-셀 사례를 통해 새로운 2-셀 구조의 자연성 문제를 탐구하고, 대수적 관점에서 기하학적 의미를 조명한다.

상세 분석

논문은 먼저 세스키카테고리라는 개념을 도입한다. 이는 객체와 사상으로 이루어진 기본 범주에, 각 사상 사이에 2-셀이라 불리는 추가 구조를 부여한 것으로, 2-셀의 합성은 수평·수직 두 종류가 존재하지만 전통적인 2-카테고리에서 요구되는 교환법칙을 완전히 만족하지 않을 수 있다. 이러한 약화된 환경에서 기존의 가짜 범주 정의를 그대로 옮기면, 연산의 일관성이 깨지는 문제가 발생한다. 저자는 이를 해결하기 위해 2-셀 구조 자체에 ‘자연성(naturality)’ 조건을 명시한다. 즉, 두 1-셀 사이의 2-셀 ε가 다른 1-셀과 합성될 때, ε·id와 id·ε가 동일한 2-셀로 귀결되는지를 검증한다. 이 조건은 가짜 범주의 결합법칙, 단위법칙을 보존하는 데 필수적이다.

다음으로 저자는 구체적인 예시들을 제시한다. (1) 내부 범주에서의 내부 변환은 객체와 사상의 내부 동형사상으로, 2-셀이 자연 변환 형태를 띤다. (2) 군 이론에서는 두 원소의 켤레 작용이 2-셀에 해당하며, 켤레 관계가 교환법칙을 약화시켜 세스키카테고리 구조를 만든다. (3) 교차 모듈에서는 미분(differential) 연산이 2-셀로 해석돼, 호몰로지적 구조와 결합한다. (4) 아벨 연쇄 복합체에서는 호모토피가 2-셀이며, 사슬 복합체 사이의 사상 합성에서 자연스러운 2-셀 구조를 제공한다. 각 예시마다 2-셀의 합성법칙과 자연성 검증을 통해, 제안된 가짜 범주 정의가 실제 수학적 상황에 적용 가능함을 보여준다.

핵심 기여는 두 가지이다. 첫째, 2-셀 구조를 가진 일반 범주 위에 가짜 범주 개념을 확장함으로써, 기존 2-카테고리 이론의 적용 범위를 크게 넓혔다. 둘째, 2-셀 구조의 자연성이라는 새로운 관점을 도입해, 이론적 일관성을 확보하고, 다양한 대수적·위상학적 상황에서의 구체적 모델을 제공했다. 이러한 접근은 향후 2-셀 구조를 이용한 고차 범주론, 호몰로지 이론, 그리고 비가환 대수 구조의 기하학적 해석에 중요한 토대를 제공할 것으로 기대된다.