무한군집 위 다항식 함수와 다항식 코모나드

초록

이 논문은 ∞‑군집(∞‑groupoid) 범주 𝒮에서 정의된 단변량 다항식 함자를 대표적 코프레시베(대표적 공프레시베)의 ∞‑군집 인덱싱 콜리밋으로 정확히 기술하고, 이를 통해 ∞‑범주 Poly𝒮의 완비·공완비, 합성에 대한 닫힌 모노이달 구조 등을 확립한다. 또한 다항식 코모나드를 정의하고, 완전 세갈 공간과의 연관성을 탐구하기 위한 초기 구성을 제시한다.

상세 분석

논문은 먼저 Gepner‑Haugseng‑Kock이 제시한 ∞‑군집 위 다항식 함자의 정의를 재해석한다. 기존 정의는 어떤 사상 p:E→B에 대해 𝒮×E →𝒮/E →𝒮/B →𝒮 형태의 삼각형으로 표현되지만, 저자는 이를 “대표적 코프레시베들의 ∞‑군집 인덱싱 콜리밋”이라는 보다 직관적인 형태와 동등함을 보인다. 핵심은 직선화‑비직선화(straightening‑unstraightening) 동형을 이용해 p:E→B를 B→𝒮의 다이어그램으로 바꾸고, 그 콜리밋이 바로 원래의 다항식 함자와 동형임을 증명하는 정리 3.4와 정의 3.10이다. 이 동등성은 다항식 함자를 “위치 공간 B”와 각 위치에 대응하는 “방향 공간 p