균형 범주론: 두 인수계를 통한 범주 이론의 통합적 접근

클라우디오 피사니의 "균형 범주론" 논문은 포괄적 인수계에 기반한 범주론의 공리화 연구를 확장합니다. 기존 연구가 최종 함자와 이산 올다발로 구성된 하나의 인수계 (E, M)에 초점을 맞췄다면, 본 논문은 여기에 초기 함자와 이산 역올다발로 구성된 쌍대 인수계 (E', M')를 동시에 고려하는 '균형 인수 범주' 개념을 도입합니다. 정의에 따라, 이 두 시스템은 동일한 내부 집합 범주 S = M/1 = M'/1를 결정하며, 핵심 공리인 상호 안정성(이산 올다발을 따른 초기 사상의 당김이 초기 사상임)으로 연결됩니다. 2장에서는 Cat에서의 표준 개념들(슬라이스, 여슬라이스, 화살표 간격, 포괄적 인수계의 성질)을 상기시킵니다. 특히 Proposition 2.3의 상호 안정성 법칙이 이후 공리화의 모델이 됩니다. 3장에서는 일반적인 (E, M)-범주 내에서의 '범주론'을 개발합니다. 여기서 E의 사상을 최종 사상, M의 사상을 이산 올다발로 해석합니다. 이 틀에서 반사 함자 ↓X: C/X → M/X를 이용해 연결 성분 π₀X, 슬라이스 X/x, 원뿔(cone), 쌍대극한 등을 정의하고, 사상 f: X→Y에 대한 화살표 사상 e_f,x: X/x → Y/fx 및 기저 함자 (-): C → Cat를 구성합니다. 이 기저 함자는 최종 대상, 집합, 슬라이스, 이산 올다발을 보존합니다. 4장에서는 본 논문의 핵심인 '균형 인수 범주'를 정식으로 정의합니다. 이는 유한 완비 범주 C에 두 인수계 (E, M)과 (E', M')가 존재하여, 1) M/1 = M'/1, 2) 두 시스템이 상호 안정적일 때를 말합니다. 이 구조 하에서 내부 집합 S는 C의 반사 부분 범주가 됩니다. 5장 '균형 범주론'에서는 이 구조를 활용해 다양한 개념들을 발전시킵니다. 두 인수계로부터 각각 유도되는 두 기저 범주 X = (C/X에서 슬라이스로 제한)와 X' = (C/X에서 여슬라이스로 제한)는 서로 쌍대입니다. 화살표 간격 X