무한 루프 공간 기계와 무한 차원 작용체

논문은 서론에서 ∞‑작용체(∞‑operads)를 모델링하는 덴드리달 집합(dSets)의 중요성을 강조하고, 이를 E∞‑공간으로 변환한 뒤 May의 무한 루프 공간 기계를 적용하면 ∞‑작용체에 대한 무한 루프 공간 기계를 얻을 수 있음을 제시한다. 1. **Prerequisites (섹션 1)** 기본적인 작용체 이론과 덴드리달 집합의 정의를 소개한다. 색(colour)과 입출력 구조를 갖는 대칭 모노이달 카테고리 E 에서 작용체를 정의하고, 특히 E = sSets 일 때의 simplicial operad 를 sOper 로 표기한다. Ω 라는 유한 뿌리 트리들의 범주를 정의하고, 그에 대한 프레시히(프레시)인 덴드리달 집합 dSets = Sets^{Ω^{op}} 를 소개한다. i : Δ→Ω 라는 임베딩을 통해 simplicial set 을 dendroidal set 으로 전환하고, dendroidal nerve와 Boardman‑Vogt W‑구조 등을 언급한다. 2. **Left fibrations and the covariant model structure (섹션 2)** 왼쪽 섬유화(left fibration)를 dendroidal set 에 일반화한다. 정의 2.0.1 에서는 p : X→S 가 inner fibration 이면서 색에 대한 코롤라와 트리 리프에 대한 lifting 조건을 만족하면 왼쪽 섬유화라 정의한다. 이때 i∗ p 는 simplicial set 의 왼쪽 섬유화가 된다. 슬라이스 범주 dSets / S 에 대해 simplicial enrichment를 정의하고, Map_S(X,Y)_n = dSets / S (X⊗i_!(Δ^n),Y) 로 mapping space 를 만든다. 공변(cofibration)과 공변 약동형(covariant weak equivalence)을 각각 코페리와 위에서 정의한 약동형으로 지정한다. 정리 2.1 은 이 구조가 combinatorial, left proper, simplicial 모델 구조임을, fibrant 객체가 정확히 왼쪽 섬유화임을 증명한다. 또한 공변 약동형은 operadic equivalence와 동등함을 보이며, 색별 섬유가 Kan 복합체임을 언급한다. 3. **The straightening functor (섹션 3)** 정상(dendroidal) 객체 S 에 대해 hcτd(S) 라는 simplicial operad 를 정의하고, Alg_{hcτd(S)}(sSets) 라는 그 위의 알제브라 범주를 만든다. 직선화(straightening) 함자 St_S : dSets / S → Alg_{hcτd(S)}(sSets) 를 정의한다. 먼저 representable Ω