일반화된 앙드레퀼렌 코호몰로지

이 논문은 앙드레‑퀼렌이 제시한 파생함수적 코호몰로지 이론을 일반화된 (co)homology 체계에 확장하는 방법을 체계적으로 제시한다. 서론에서는 1930년대에 시작된 위상공간 코호몰로지에서부터 그룹, 가환·비가환 대수, 리 대수까지의 전통적 코호몰로지 이론을 개괄하고, 1960년대에 등장한 일반화된 코호몰로지(스펙트럼, Γ‑space 등)의 필요성을 강조한다. 기존의 Beck‑Andre‑Quillen 접근은 아벨 군 객체 G 를 고정하고 Hom(–,G)의 파생함수를 통해 코호몰로지를 정의했지만, 안정 동형론에서는 Eilenberg‑Mac Lane 공간만으로는 충분하지 않다. 따라서 저자는 두 가지 핵심 조건을 도입한다. 첫째, 범주 C 가 대칭 모노이달 범주 V 로 풍부화되어야 하며, 이는 Hom_C(–,–) 가 V‑값을 갖게 함으로써 모델 구조를 정의할 수 있게 한다. 둘째, 대표 객체 G 가 추가적인 대수적 구조를 가져야 하는데, 이를 스케치 Φ‑알제브라라는 형식으로 기술한다. 스케치는 라우베르의 이론을 일반화한 것으로, 한정된 한계와 공한계를 지정함으로써 다양한 대수적 범주(그룹, 연산자, 오페라드 등)를 일관되게 다룰 수 있다. 섹션 1에서는 스케치와 이론, 그리고 Θ‑알제브라의 정의를 상세히 설명한다. Θ‑알제브라는 작은 범주 Θ 와 제한된 곱(또는 공한계) 구조를 갖는 FP‑스케치이며, Θ‑알제브라 X : Θ → C 는 이러한 구조를 보존하는 함수를 의미한다. 특히, Θ‑알제브라를 통해 그룹, 연산자, 그리고 셰이브와 같은 복합 구조를 하나의 통일된 언어로 기술한다. 섹션 2에서는 일반화된 동·코호몰로지를 정의한다. 먼저 반삼각형 모델 범주(semi‑triangulated model category)를 도입하고, 이를 통해 동등류