렉스 콜리밋: 범주론에서의 새로운 정확성 개념

초록

이 논문은 유한극한을 보존하는 2‑범주 LEX 안에서, 지정된 가중치 Φ에 대한 콜리밋 존재와 유한극한·콜리밋 사이의 일관성을 한꺼번에 포괄하는 ‘Φ‑정확성(Φ‑exact)’이라는 일반적 개념을 제시한다. 기존의 정규, Barr‑exact, 렉스텐시브, 코히런트, 접착 범주 등은 모두 Φ‑정확성의 특수 사례이며, 저자들은 이를 가중치‑의사단사(pseudomonad)와 자유 Φ‑정확 완성(Φ‑exact completion)이라는 구조적 관점에서 설명한다.

상세 분석

논문은 먼저 CAT 위에 정의되는 자유 콜리밋 의사단사 P 를 회상하고, 이를 LEX (유한극한을 보존하는 범주와 렉스 사상들로 이루어진 2‑범주)에 제한·코제한하여 Pℓ 이라는 새로운 의사단사를 만든다. Pℓ 의 의사대수는 바로 ‘소‑정확(small‑exact)’ 범주이며, 이는 ∞‑프리톱스(∞‑pretopos)와 동등함을 보인다.

다음으로 저자들은 임의의 가중치 클래스 Φ (각 가중치는 작은 전제함수 ϕ:Kᵒᵖ→Set, K는 유한극한을 가진 소규모 범주) 를 선택하고, Φ‑lex‑cocomplete 이라는 부분적 콜리밋 존재 조건을 정의한다. 여기서 ‘Φ‑lex‑cocomplete’는 모든 ϕ∈Φ 에 대해 ϕ‑가중 콜리밋이 존재함을 의미한다.

‘Φ‑정확성(Φ‑exact)’은 Φ‑lex‑cocomplete 이면서, 유한극한과 Φ‑콜리밋 사이에 ‘셋(Set)에서 성립하는’ 일관성(예: 푸시아웃이 모노모르피즘을 따라 보존되는 등)을 만족하는 범주를 말한다. 이를 정확히 기술하기 위해 저자들은 두 가지 동등한 특성을 제시한다. 첫째, 작은 C 가 Φ‑정확 iff C 가 Φ‑lex‑cocomplete 이면서 C → Φℓ C (Φ‑lex‑cocomplete 전용 자유 완성) 에서 유한극한을 보존하는 좌반함수를 갖는 전사적 임베딩을 가질 때이다. 둘째, C 가 Φ‑정확 iff C 가 Φℓ C 안에서 유한극한을 보존하는 반사체(reflector)를 갖는다. 이 두 특성은 ‘lex 세계 안에서의 콜리밋’이라는 직관을 정확히 구현한다.

특히, Φ 에 따라 다양한 기존 구조가 재현된다. 예를 들어 Φ₍reg₎ 은 핵쌍(kernal pair)의 동등화(colimit)를, Φ₍ex₎ 은 동치관계의 동등화를, Φ₍union₎ 은 유한합집합을, Φ₍push₎ 은 모노모르피즘을 따라가는 푸시아웃을 각각 포괄한다. 따라서 ‘정규 범주’, ‘Barr‑exact 범주’, ‘렉스텐시브 범주’ 등은 모두 적절한 Φ 에 대한 Φ‑정확성의 특수 사례가 된다.

또한 저자들은 V‑강화(enriched) 설정을 고려한다. V가 로컬리 피니트 프레젠터블한 대칭 모노이달 폐쇄 범주일 때, 위의 모든 정의와 결과가 V‑범주에 그대로 적용된다. 이는 Ab (아벨 군)이나 Cat (소규모 범주)와 같은 다른 베이스에 대한 일반화 가능성을 열어준다.

마지막으로, 논문은 Φ‑정확 완성(Φ‑exact completion)이라는 자유 구조를 구축한다. 이는 C 에 대한 최소한의 Φ‑lex‑cocomplete 확장이며, C → Φℓ C 가 전사적 임베딩이면서 좌반함수를 갖는 경우에 한해 존재한다. 이 완성은 기존의 정규 완성, 정확 완성 등과 일치한다는 corollary(3.7)를 제공한다.

전체적으로 이 논문은 ‘lex 세계 안에서의 콜리밋’이라는 새로운 시각을 통해, 다양한 범주론적 정확성 개념을 통합하고, 가중치‑의사단사와 자유 완성이라는 고차원적 도구를 이용해 구조적·범주론적 통일성을 달성한다.