프리큐브 집합의 동시대수

본 논문은 프리큐브 집합(precubical set)이라는 범주적 구조에 대해 동시대수(cohomology ring)를 정의하고, 그 성질을 체계적으로 분석한다. 1. **서론 및 배경** 저자는 먼저 동시대수 시스템 G를 프리큐브 집합 X의 ‘특이 큐브’ 범주 ∐⁺/X 위의 함자(functor)로 정의한다. 전통적인 소형 범주(cohomology of small categories)의 위성(satellite) 이론을 차용해, n‑차 동시호몰로지 Hⁿ(X;G)를 lim←ⁿ 의 위성으로 기술한다. 이때 G는 일반적인 아벨 군 계통이며, 코호몰로지와 동시코호몰로지는 서로 대립되는 개념임을 언급한다. 2. **프리큐브 집합의 정의와 기초 구조** 프리큐브 집합 X는 집합들의 시퀀스 Xₙ 과 얼굴 사상 ∂ₙ,εᵢ: Xₙ→Xₙ₋₁ (ε∈{0,1}) 으로 정의된다. 얼굴 사상 사이의 교환 관계를 만족하도록 구성된 카테고리 ∐⁺ (‘정방형 집합’ 카테고리)와 그 반대 카테고리 ∐⁺ᵒᵖ 를 도입한다. X는 ∐⁺ᵒᵖ→Ens 의 함자로 해석된다. 3. **대각선 사상(Δ)과 체인 복합** 체인 복합 C⁺