양자 범주와 모듈: 프로퍼듀서의 고차원 일반화

초록

양자 범주와 약한 바이알제브라 등 “다중 객체” 대수 구조 위에 정의된 모듈을 연구한다. 저자는 이러한 모듈을 작은 범주의 프로퍼듀서(profunctor)와 대응시키고, 단일 객체 경우와 다중 객체 경우 모두에서 작용·합성 구조를 카테고리 이론적 관점에서 체계화한다.

상세 분석

본 논문은 먼저 브레이디드 모노이달 카테고리 (V) 위에 정의된 모노이달 이중범주 (B)와 그 안의 코모나드·모노이달레(=pseudomonoid) 개념을 정리한다. 저자는 코모나드 ((B,g))와 그 사이의 1‑셀·2‑셀을 이용해 Comnd (B) 라는 이중범주를 만들고, 여기서 Mon (B) 라는 모노이달레들의 이중범주와 그 위의 모노이달 코모나드(=monoidal comonad)를 정의한다. 핵심은 왼쪽 Kan 확장을 존재시키는 가정 하에, 코모나드의 곱셈과 단위가 모노이달 구조와 호환되는 조건을 2‑셀 (\mu,\eta) 로 기술한 점이다.

다음으로 저자는 Como(V) 라는 코모나드‑모듈 이중범주를 도입한다. 여기서 객체는 (V) 안의 코코모나드 (C)이며, 1‑셀은 (C)‑(D) 코모듈 (M:C\to D) 로, 2‑셀는 코모듈 사상이다. 중요한 구조는 (C^{op}\otimes C) 가 모노이달레 로서 작용하고, 이때의 양자 범주는 (C^{op}\otimes C) 위의 모노이달 코모나드 ((A,\delta,\varepsilon)) 로 정의된다.

논문의 핵심 정의는 다음과 같다.

1. 알제브로이드 ((A,C)): (C)는 코코모나드, (A)는 (C^{op}\otimes C) 위의 모노이달 엔도모픽.
2. 양자 범주 ((A,C)): 위와 동일하지만 (A)가 모노이달 코모나드이다.
3. 모듈 (알제브로이드 사이)와 양자 모듈 (양자 범주 사이): 각각 코모듈 (M:C_0^{op}\otimes C\to C_0^{op}\otimes C) 와 코모나드 ((M,C_0^{op}\otimes C)) 에 대해 ((A,A_0))-작용을 부여한다. 작용은 왼·오른 작용 2‑셀 (\alpha_l,\alpha_r) 로 기술되며, 이는 Kan 확장과 코동형(co‑hom) 객체를 이용해 구체화된다.

특히 저자는 (T_n) 라는 다중 합성 연산을 정의한다. (T_n) 는 연속적인 왼쪽 Kan 확장을 통해 (n) 개의 코모듈을 하나의 코모듈로 결합한다. 이때 연관성 사상 (\beta_\xi) 가 존재함을 보이며, 이는 고차원 프로퍼듀서의 합성 법칙을 일반화한다. (T_2) 와 (T_3) 의 구체적 계산을 통해, 모듈의 합성 (M\bullet N) 가 코동형(coequalizer) 형태로 표현됨을 증명한다.

마지막으로, 알제브로이드·양자 범주와 그 모듈을 (T)-연산 기반의 삼항 연산 (\mu:T_2(A,A)\to A), (\eta:T_0()\to A), (\alpha:T_3(A,M,A’)\to M) 로 재정의함으로써, 기존 정의와 동등함을 보인다. 이는 모듈 합성의 결합법칙과 연관성을 명시적으로 제시한다는 점에서 중요한 의미를 가진다.

요약하면, 논문은 브레이디드 모노이달 카테고리 위의 코모나드·모노이달레 구조를 활용해 양자 범주와 그 모듈(양자 프로퍼듀서)을 정의하고, Kan 확장과 코동형을 이용해 합성 연산을 체계화한다. 이는 기존의 bialgebroid·weak bialgebra 이론을 범주론적 관점에서 통합하고, 프로퍼듀서의 고차원 일반화를 제공한다.