대수적 정확성의 새로운 특징화

초록

완비·시프트-완비 범주가 네 가지 기본 조건(E1–E4)을 만족하면, 즉 Barr‑exact, 유한극한과 필터드 콜리밋의 교환, 정규 에피모르피즘의 작은 곱에 대한 안정성, 필터드 콜리밋의 작은 곱에 대한 분배성을 만족하면, 그 범주는 대수적으로 정확(algebraically exact)하다는 것을 증명한다.

상세 분석

이 논문은 기존에 Adámek·Lawvere·Rosický가 제시한 “대수적으로 정확한 범주”의 정의를 보다 실용적인 조건으로 재표현한다. 저자는 먼저 완전하고 시프트‑완비인 범주 C에 대해 네 가지 핵심 성질(E1–E4)을 제시한다. (E1)은 Barr‑exactness, 즉 정규 에피모르피즘이 풀백에 대해 안정하고 동치관계가 효과적임을 의미한다. (E2)는 유한극한이 필터드 콜리밋과 교환한다는 조건으로, 이는 Set에서의 유한극한과 필터드 콜리밋이 서로 교환되는 사실을 범주론적으로 끌어올린 것이다. (E3)는 정규 에피모르피즘이 작은 곱에 대해 안정함을 요구하며, 이는 정규 에피모르피즘이 제품 구조와 잘 어울린다는 강력한 제약이다. (E4)는 필터드 콜리밋이 작은 곱에 대해 분배된다는 의미로, 필터드 콜리밋이 제품을 보존한다는 중요한 연산적 특성을 담고 있다.

저자는 이 네 조건이 충분조건임을 보이기 위해, 먼저 κ‑크기의 제한과 κ′‑크기의 콜리밋을 도입해 “κ‑대수적 정확성”이라는 개념을 정의한다. 여기서 κ는 임의의 정규 무한 기수이며, κ′는 κ보다 약간 큰 기수(Σγ<κ2^γ)+ 로 정의된다. κ‑극한과 κ′‑필터드 콜리밋만을 다루면 크기 문제를 회피하면서도 원래의 전역적 정의와 동등함을 보일 수 있다.

핵심 기술은 Kock‑Zöberlein 의사단사(pseudomonad) S_ind와 자유 콜리밋을 추가하는 P 의사단사를 결합해, κ‑CONTS(완전하고 κ‑연속인 함자) 위에 새로운 의사단사 S_{κ′}를 만든 뒤, 그 의사대수(pseudo‑algebra)를 “κ‑대수적 정확성”으로 정의하는 것이다. 이 구조 하에서, 범주 C가 (E1′)–(E4′)를 만족하면 V:C→S_{κ′}(C) 가 κ‑연속적인 왼쪽 사상을 갖게 되고, 따라서 C는 κ‑대수적으로 정확해진다.

다음 단계에서는 작은 범주 C에 대해 위의 구조를 실제로 구현한다. 저자는 C에 대한 가장 작은 토폴로지를 정의해, 모든 정규 에피모르피즘과 모든 필터드 κ′‑콜리밋이 커버링 사이어(sieve)로 작동하도록 만든다. 이 토폴로지는 서브캐노니컬이므로 Yoneda 임베딩 J:C→Sh(C) 가 전한 한계와 콜리밋을 보존한다. 특히, J는 κ‑극한, 반사적 동등화(coequalizer), 그리고 필터드 κ′‑콜리밋을 모두 보존한다는 것을 상세히 증명한다.

마지막으로 Sh(C)가 κ‑대수적으로 정확함을 보이기 위해, Sh(C)가