셰이브 범주에서의 W‑형 구체적 기술

이 논문은 셰이브 범주에서 W‑형(잘‑정의된 트리)들을 어떻게 구체적으로 구성할 수 있는지를 제시한다. 기존에 프리쉐이브와 동일하게 계산된다는 주장은 반례를 통해 틀렸음이 보여지고, 저자는 새로운 전건‑동등 관계와 ‘자연스러움·구성가능성’ 조건을 이용해 셰이브 위에서의 초기 PF‑대수인 W‑형을 명시적으로 구축한다.

저자: Benno van den Berg, Ieke Moerdijk

본 논문은 “W‑type”이라 불리는 귀납적 구조를 셰이브 범주 안에서 어떻게 구체적으로 정의하고, 그 정의가 실제로 초기 PF‑대수(initial P_F‑algebra)와 동등함을 증명한다. 서두에서 저자는 모든 토포스가 자연수 객체를 갖는다면 W‑type을 가짐을 언급하면서, 실제로 다양한 토포스(예: 효과적 토포스, 프리쉐이브 토포스)에서 구체적인 기술이 필요함을 강조한다. 특히, 이전 연구