단순집합의 클럽 구조와 합성 연산의 일반화

본 논문은 “클럽(club)”이라는 범주론적 구조를 단순집합(simplicial sets) 범주에 적용함으로써, 전통적인 연산자(operad) 이론을 보다 일반적인 다이어그램 합성 체계로 확장한다. 먼저 저자는 G.M. Kelly가 제시한 클럽 이론을 2‑카테고리 Cat (소규모 다이어그램을 객체로 하는 카테고리) 안으로 옮긴다. 여기서 객체는 작은 카테고리 D와 그 위에 정의된 펀터 R:D→Cat 의 쌍이며, 사상은 펀터 F:D→D′와 자연변환 ρ로 구성된다. 이러한 설정은 ‘카테고리 위의 카테고리’를 다루는 데 적합하며, 특히 반직접곱 ⋉ 을 도입해 두 객체 D, D′를 결합한다. 반직접곱은 각 객체 d∈D에 대해 R(d)와 ψ:R(d)→D′ 를 이용해 R(d)⋉ψ D′ 를 만들고, 이를 모든 d와 ψ에 대해 모아 하나의 다이어그램 D⋉D′ 을 만든다. 이 구조는 군의 반직접곱과 유사하지만, 카테고리 수준에서 자연변환을 포함한다는 점에서 차별화된다. 반직접곱 ⋉ 은 단위 객체 1(하나의 객체만 가진 이산 카테고리)와 결합해 모노이달 구조를 만든다. 이때 ⋉ 은 대칭이 아니며, 예시로 D=1, D′=2 (두 객체를 가진 이산 카테고리)를 들면 D⋉D′≇D′⋉D 임을 보인다. 클럽은 바로 이 모노이달 구조 안의 모노이드, 즉 객체 C와 사상 {F,ρ}:C⋉C→C, {I,ι}:1→C 가 결합법칙과 단위법칙을 만족하는 형태이다. 다음으로 저자는 전통적인 비대칭·대칭 연산자(operad)를 클럽의 특수 사례로 재해석한다. 집합 P={P_n}에 대해 각 n에 대응하는 이산 카테고리 n을 매핑하고, 이를 Cat 안의 객체로 만든 뒤 P⋉P 과 P∘P (전통적인 원소곱) 사이에 자연동형을 구축한다. 비대칭 경우에는 P⋉P≅P∘P 가 되지만, 대칭 경우에는 S_n 의 작용 때문에 일반적으로 동형이 아니며, 대신 포함 사상이 존재한다. 이러한 분석을 통해 연산자의 조합이 클럽 구조와 어떻게 일치하는지를 명확히 보여준다. 핵심 기여는 단순집합 SSet 에 대한 클럽을 구축한 것이다. 각 단순집합 S는 ‘단순체 카테고리’ 𝒮 (객체는 모든 심플렉스 s∈S_n, 사상은 심플렉스 사이의 순수한 단순집합 연산자) 로 변환된다. 이 변환은 펀터 R: SSet→Cat 을 정의하고, 따라서 SSet 그 자체가 Cat 안의 객체가 된다. 반직접곱 SSet⋉SSet 에 대해, 객체 {S,ψ} (ψ:S→SSet) 는 이중단순집합 T (=bisimplicial set)의 대각을 취해 새로운 단순집합 Δ({S,ψ}) 을 만든다. 사상 {f,φ} 은 대응하는 이중단순집합 사이의 지도와 그 대각을 통해 정의된다. 이 과정에서 연산 Δ와 단위 1→SSet (1‑점 단순집합) 은 결합법칙을 만족함을 보이며, 이는 ‘대각을 취하는 연산’이 자체적으로 결합법칙을 갖는 것과 동치이다. 클럽 구조가 완성되면, SSet‑알제브라(=클럽 알제브라) 는 ‘단순다이어그램의 콜리밋을 취하는’ 범주에 자연스럽게 작용한다. 특히 콜리밋을 보존하는 폐쇄 범주 M 은 SSet‑알제브라 구조를 갖는다. 논문은 또한 단사 사상만을 포함하는 부분클럽 sset 을 정의하고, ‘생성자 I (예: 표준 심플렉스 Δ