균형 잡힌 범주 이론

초록

이 논문은 유한 완비 범주 𝒞에 두 개의 인수분해 체계가 존재하고, 이들이 동일한 이산 객체를 결정하며 상호 보완적인 안정 법칙을 만족할 때, 전통적인 범주론 개념들을 내부적으로 재구성한다. 이를 통해 슬라이스·코슬라이스, 한계·공한계, 조밀 사상 등 다양한 구조를 𝒞 안에서 정의하고, 내부 집합으로 풍부화된 “기저 범주”를 얻는다.

상세 분석

논문은 먼저 유한 완비 범주 𝒞에 두 개의 인수분해 체계 (E, M)와 (E′, M′)를 도입한다. 여기서 E와 E′는 각각 최종(functor)과 초기(functor)를 일반화한 사상군을, M과 M′는 이산(오)피브레이션을 포착한다. 핵심은 두 체계가 같은 이산 객체, 즉 내부 집합을 결정한다는 점이며, 이는 “동일 이산 객체” 가정으로 표현된다. 이어서 저자는 “상호 역안정 법칙”(reciprocal stability law)을 제시한다. 이 법칙은 E‑M′와 E′‑M 사이의 푸시아웃·풀백이 서로 보존되는 성질을 말하며, 전통적인 최종·초기 사상의 안정성을 내부적으로 재현한다.

이러한 구조 위에 저자는 구성 요소(components), 슬라이스 𝒞/X, 코슬라이스 X\𝒞, 그리고 그들의 교차인 “화살표 구간”(arrow intervals)을 정의한다. 특히, 슬라이스와 코슬라이스를 제한해 얻은 두 개의 대칭 “기저 범주”는 내부 집합으로 풍부화될 수 있다. 내부 동형집합은 해당 슬라이스와 코슬라이스의 풀백을 취한 뒤 그 구성 요소를 취함으로써 정의된다. 이는 전통적인 Hom‑셋을 내부적으로 재현하는 방법이며, 결과적으로 𝒞 내에서 Cat‑값 함자를 구축한다.

또한, 저자는 최종·초기 사상에 대응하는 “final functor”와 “initial functor”를 이 두 인수분해 체계로부터 추출하고, 이들을 통해 한계와 공한계, 좌·우 부가가능 사상(left/right adjunctible maps), 조밀 사상(dense maps) 등을 내부적으로 정의한다. 특히, 조밀 사상은 해당 사상이 모든 내부 객체에 대해 “밀도”를 갖는다는 의미로, 기존의 조밀함 개념을 일반화한다.

마지막으로, 이러한 구조를 이용해 𝒞→Cat 함자를 정의한다. 이 함자는 슬라이스와 코슬라이스를 각각 보존하거나 반전시키며, 내부 집합에 대한 풍부화도 유지한다. 결과적으로, 전통적인 범주론의 많은 정리—예를 들어, 콜라보레이터와 어드조인트의 존재조건, 한계·공한계의 보존성—가 이 새로운 “균형 잡힌” 설정 안에서 간결하게 증명된다.