∞ 오페라드와 덴드리달 집합을 통한 대수 구조의 새로운 정의

초록

본 논문은 덴드리달 집합 형식에 완전히 내재된 방식으로 ∞‑오페라드 위의 대수를 정의한다. 핵심은 코카르테시안 섬유화(coCartesian fibration)를 이용해 dendroidal set X 위의 섬유들을 ∞‑카테고리 coCart(X) 로 조직하고, 이를 X에 대응하는 simplicial operad hc τ d(X) 위의 ∞‑카테고리 대수와 동등시킨다. 또한, 공간값 대수와 왼쪽 섬유화(left fibration) 사이의 등가도 확보한다.

상세 분석

이 논문은 두 가지 주요 혁신을 제시한다. 첫 번째는 기존 Lurie의 simplicial set 기반 코카르테시안 섬유화 개념을 dendroidal set으로 일반화한 것이다. dendroidal set은 트리 구조를 통해 다입력 연산을 자연스럽게 모델링하므로, ∞‑오페라드의 복잡한 다중입력 연산을 정확히 포착한다. 저자는 “coCartesian corolla”와 “coCartesian fibration”을 정의하고, 이를 통해 임의의 dendroidal set X 위에 존재하는 모든 코카르테시안 섬유를 하나의 ∞‑카테고리 coCart(X) 로 모은다. 이 과정에서 marked dendroidal set, 정상화(normalization) 및 모델 구조(Cisinski‑Moerdijk 모델 구조)를 정교히 활용하여, 섬유와 코카르테시안 등가 사이의 호모토피 이론적 안정성을 확보한다.

두 번째 혁신은 ∞‑오페라드적 Grothendieck 구성이다. 전통적인 Grothendieck 구성은 카테고리‑값 의사함수와 코피버드 카테고리 사이의 등가를 제공한다. 여기서는 이를 오페라드‑값 의사함수, 즉 hc τ d(X)‑algebra와 코피버드 dendroidal set(코카르테시안 섬유) 사이에 적용한다. 핵심 정리 5.2는
\