아이덴티티 분할과 약한 모나드 이론

초록

이 논문은 2‑카테고리에서 아이덴티티를 자유롭게 분할하는 Cauchy 완성을 이용해, 기존의 ‘약한’ 구조들을 일관된 범주론적 틀로 재구성한다. 특히 약한 모나드·약한 모노이드·약한 한계 등을 ‘데미‑’라는 접두어로 정의하고, 이를 통해 약한 Hopf 대수와 그 응용을 통합적으로 설명한다.

상세 분석

본 연구는 먼저 반정체(semicategory)와 반함수(semifunctor)의 개념을 도입하고, 이를 통해 아이덴티티를 강제하지 않는 일반화된 함수 개념을 정의한다. 반함수는 원래 카테고리 B의 Cauchy 완성 QB(=RU B) 로의 정규 함수와 동등함을 보이며, 이는 아이덴티티를 분할하는 자유적 과정이다. 저자들은 이 과정을 2‑카테고리 수준으로 끌어올려 2‑모나드 Q∗:2‑Cat→2‑Cat 를 구성하고, Q∗가 유한 곱을 보존한다는 사실을 이용해 각 동질 사상군 K(A,A)에 대해 Q(K(A,A)) 를 취함으로써 ‘데미‑’ 구조를 만든다.

특히, (B,⊗,i) 라는 단일 모노이달 카테고리 B에 대해 Q(B) 에서는 객체를 (b,ρ) 형태로 바꾸고, 텐서곱을 (b⊗b′,ρ⊗ρ′) 로 정의한다. 여기서 ρ는 idempotent이며, 이를 통해 ‘데미모노이드’를 “Q(B) 안의 모노이드”로 정의한다. 구체적인 데이터는 곱 µ:b⊗b→b 와 단위 η:i→b 로, η가 ρ와 호환되고, µ가 ρ‑보존성을 만족하도록 요구한다. 이러한 조건은 기존의 약한 Hopf 대수에서 나타나는 ‘단위 약화’와 ‘아이덴티티 분할’ 현상을 정확히 포착한다.

다음으로, 2‑카테고리 K 에서의 모나드(t) 를 Q∗K 로 옮기면 ‘데미모나드’가 된다. 이는 기존 모나드가 Q∗K 안에서 그대로 포함되는 구조이며, 따라서 기존 이론을 손상시키지 않는다. 저자들은 이 개념을 이용해 약한 bialgebra 를 ‘데미‑바이모날’이라 부르고, 그 모듈 카테고리(Eilenberg‑Moore) 가 다시 Q‑완성된 형태로 모노이달 구조를 승격한다는 사실을 보인다.

또한, 제한(limit) 이론에서도 동일한 전개가 가능하다. 예를 들어, Eilenberg‑Moore 객체를 ‘약한’ 형태로 정의하고, 이를 통해 ‘약한’ 한계와 ‘약한’ 콜레임을 기술한다. 특히, 2‑카테고리에서 아이덴티티 2‑셀을 자유롭게 분할하도록 만든 Q∗K 가 Eilenberg‑Moore 객체에 대해 자유 완성 역할을 함을 정리하고, 이는 Corollary 5.3 로 명시된다.

전체적으로 논문은 ‘약함’을 아이덴티티 분할이라는 범주론적 작업으로 일관되게 해석함으로써, 약한 Hopf 대수, 약한 bialgebra, 약한 모나드 등 다양한 분야에 공통된 언어를 제공한다. 이는 기존에 파편화된 ‘weak’ 개념들을 하나의 풍부한 2‑카테고리‑enriched 구조 안에 통합하는 중요한 진전이다.