동형이론 스팬 다이어그램과 호모토피 이론에서의 교환 모노이드

초록

이 논문은 쿼시카테고리(Quasicategory) 환경에서 대수 이론을 재정의하고, 특히 스팬 다이어그램을 이용해 교환 모노이드를 기술한다. 새롭게 정의된 이론은 전통적인 E∞‑모노이드와 Lurie의 커뮤테이티브 알제브라 객체와 동등함을 보이며, 2‑카테고리 구조와의 관계도 상세히 탐구한다.

상세 분석

본 논문은 먼저 Joyal·Lurie 가 제시한 쿼시카테고리 이론을 배경으로, 고전적인 알제브라 이론(법레베 이론)의 정의를 ∞‑범주적 맥락으로 확장한다. 핵심 아이디어는 “스팬 다이어그램”을 이용해 유한 집합 사이의 복사(Δ)와 합산(Σ) 연산을 모델링하고, 이를 통해 교환 모노이드의 모든 자연 연산을 포괄적으로 기술한다는 점이다. 전통적인 Th Mon 카테고리는 스팬을 동형류(iso)로 식별해 버리지만, 쿼시카테고리인 Span 은 이러한 동형류 정보를 보존하면서 고차원 셀을 추가한다. 저자는 Span 이 실제로는 2‑카테고리이며, 3차 이상 셀은 모두 자동적으로 결정된다는 사실을 증명한다. 이는 Span 의 셀 구조가 “(2,1)‑카테고리”라는 Lurie 의 정의와 정확히 일치함을 의미한다.

다음으로, Span 을 이용해 정의된 교환 모노이드 이론이 기존의 E∞‑모노이드와 동등함을 보인다. 구체적으로, Span‑모델의 곱 보존 함자(product‑preserving functor)와 공간(Category of Spaces) 사이의 동형 사상은 Eilenberg–Mac Lane 스페이스의 일반화와 일치한다. 또한 Lurie 가 제시한 CommAlg(𝒞) 객체와도 동등함을 보이기 위해, 저자는 Span 의 모노이달 구조가 Lurie 의 ∞‑운동론에서 요구하는 연산과 동일하게 작동함을 상세히 검증한다.

기술적 난관으로는 스팬 다이어그램의 동형류를 정확히 추적하고, 이를 쿼시카테고리의 내적 호른(inner horn) 확장 조건에 맞추는 것이 있다. 저자는 2‑셀의 호환성 조건을 명시적으로 계산하고, 이를 통해 모든 고차원 호른이 유일하게 채워짐을 증명한다. 이 과정에서 2‑카테고리와 (2,1)‑카테고리 사이의 엄격화(strictification) 결과를 활용해, Span 이 실제로는 “모든 2‑셀이 가역적인” 2‑카테고리와 동등함을 보인다.

마지막으로, 저자는 이 접근법이 기존의 오페라드 이론보다 유연함을 강조한다. 오페라드에서는 변수 중복을 허용하지 못해 분배법칙 같은 복합 연산을 기술하기 어려운데, 스팬 기반 이론은 복사와 합산을 별도 단계로 분리함으로써 이러한 제약을 회피한다. 따라서 향후 E∞‑링, 세미링 등 보다 복잡한 대수 구조를 스팬 다이어그램으로 모델링하는 연구가 가능함을 시사한다.