접착·준접착 범주에 대한 새로운 공리와 임베딩 정리

초록

이 논문은 범주론에서 “접착(adhesive)”과 “준접착(quasi‑adhesive)” 범주의 공리를 재정의하고, 이들 범주가 토포스와 준토포스에 완전하게 내재될 수 있는 네 가지 주요 정리를 제시한다. 특히, 일반 단사(mon​omorphism) 대신 정규 단사(regular monomorphism)를 사용한 변형(rm‑adhesive, rm‑quasiadhesive)과, 푸시아웃의 안정성 및 풀백 조건을 통한 새로운 동등조건을 탐구한다.

상세 분석

논문은 먼저 기존의 접착 범주 정의를 검토한다. 전통적으로 접착 범주는 모든 풀백, 모든 단사에 대한 푸시아웃, 그리고 토포스에서 만족되는 풀백‑푸시아웃 간의 정확성 조건을 요구한다. 저자들은 이 정의를 두 축으로 약화한다. 첫 번째 축은 푸시아웃을 요구하는 사상 클래스를 전체 단사에서 정규 단사로 좁히는 것이며, 두 번째 축은 정확성 조건을 토포스가 아니라 준토포스가 만족하는 수준으로 낮추는 것이다. 이를 통해 네 가지 변형—adhesive, rm‑adhesive, rm‑quasiadhesive, 그리고 “stable‑pullback” 형태의 adhesive—을 정의한다.

핵심 기술은 ‘van Kampen 사각형’ 조건이다. 푸시아웃이 van Kampen이면 그 푸시아웃은 풀백에 대해 안정(stable)하고, 동시에 그 사각형 자체가 풀백이 된다. 저자들은 van Kampen 조건을 “스팬의 이중범주에서의 푸시아웃”이라는 bicategorical 관점으로 재해석하고, 이를 통해 푸시아웃의 안정성과 풀백성을 동등하게 기술한다. 특히, 정규 단사에 대한 푸시아웃이 van Kampen이면 그 푸시아웃은 자동으로 stable‑pullback 형태가 되며, 이는 Theorem A에서 “stable + pullback ⇔ adhesive”라는 동치성을 증명하는 핵심 논증이다.

Theorem B는 rm‑adhesive와 rm‑quasiadhesive 사이의 차이를 정확히 규정한다. 두 범주는 모두 정규 단사에 대한 푸시아웃이 존재하고, 그 푸시아웃이 stable이며 풀백이다. 그러나 rm‑adhesive가 되기 위해서는 추가적으로 ‘정규 부분 객체가 이항 합에 대해 닫혀 있음’이라는 조건이 필요하다. 이는 정규 부분 객체의 이항 합이 효과적인(pushout‑over‑intersection) 형태로 존재함을 의미한다. 이 조건이 결여된 경우(예: 관계가 있는 집합의 범주)에는 rm‑quasiadhesive이지만 rm‑adhesive는 아니다.

Theorem C와 D는 각각 rm‑adhesive와 rm‑quasiadhesive 범주의 임베딩 정리이다. 작은 범주 C가 모든 풀백과 정규 단사에 대한 푸시아웃을 가질 때, C가 rm‑adhesive이면 토포스로, rm‑quasiadhesive이면 준토포스로 완전하고 구조를 보존하는 임베딩이 존재한다. 이는 기존의 “adhesive 범주는 토포스로 완전하게 내재된다”는 결과를 일반화한 것으로, 정확성 조건을 통해 임베딩 가능성을 판단할 수 있게 만든다. 증명은 기존의 Barr‑exactness, regularity, 그리고 lex‑extensivity와 같은 조건을 활용하며, 특히 정규 단사의 안정성 및 합성 폐쇄성을 핵심적인 도구로 사용한다.

논문 전반에 걸쳐 ‘adhesive morphism’이라는 새로운 사상 클래스를 도입한다. 이는 모든 풀백에 대해 pre‑adhesive(푸시아웃이 존재하고 stable이며 풀백)인 사상이며, 이들의 합성·푸시아웃·pullback 폐쇄성을 체계적으로 정리한다. 이를 통해 기존 문헌에서 다루던 “특정 클래스에 대한 접착성”과는 구별되는 보다 일반적인 프레임워크를 제공한다. 마지막으로, 정규 단사와 일반 단사의 차이, 그리고 푸시아웃의 van Kampen 성질이 토포스와 준토포스 사이의 차이를 어떻게 반영하는지를 명확히 함으로써, 범주론적 구조와 논리적 정확성 사이의 미묘한 관계를 심도 있게 탐구한다.