카테고리화된 어소시아드라와 새로운 컴포시헤드론

1. 서론에서는 카테고리화(categorification)라는 개념을 소개하고, 기존에 어소시아드론(K(n))이 약하게 결합된 곱셈 구조의 코히어런스 조건을 시각화하는 데 사용되었음을 상기시킨다. 저자들은 “어소시아드론의 카테고리화”라는 아이디어를 제시하며, 이를 구현하기 위해 새로운 다각형 계열이 필요함을 주장한다. 2. 다각형과 위상·범주론의 관계를 정리한다. 2.1 어소시아드론(K(n))은 Stasheff가 정의한 다각형으로, n개의 원소에 대한 모든 괄호 배치를 셀 구조로 갖는다. 이는 Aₙ‑공간과 약한 모노이드의 코히어런스 다이어그램에 직접 대응한다. 2.2 멀티플리헨드론(J(n))은 Stasheff가 제시하고 Iwase‑Mimura가 상세히 기술한 복합 구조로, A∞‑맵을 기술한다. 정점은 n개의 입력에 대한 이진 페인팅 트리와 일대일 대응한다. 2.3 저자들은 J(n)을 특정 동등관계(범위가 엄격히 결합된 경우)로 몫을 취해 새로운 다각형을 얻는다. 이 몫은 “컴포시헤드론”이라 명명한다. 3. 컴포시헤드론(CK(n))의 재귀적 정의를 제시한다. 기본 단계는 CK(1)=점, CK(2)=점, CK(3)=선분이다. n≥4에 대해, CK(n)은 두 종류의 셀(‘좌측’과 ‘우측’)을 포함하는데, 각각은 CK(k)×CK(n‑k+1) 형태의 곱으로 구성된다. 이 구조는 J(n)의 경계가 K(k)×J(n‑k+1)와 유사하지만, K(k) 대신 CK(k)로 교체된 점이 차별점이다. 4. 정점 조합론을 전개한다. 각 정점은 이진 페인팅 트리와 일대일 대응하고, 트리의 내부 노드에 가중치 q∈