정규성 및 교환자에 관한 범주론적 접근

초록

본 논문은 범주론적 시각에서 여러 정규성 개념을 비교하고, 이상-결정(ideal‑determined) 범주에서 히긴스 교환자를 내재적으로 기술한다. 이를 바탕으로 새로운 정규성 정의를 제시하며, 반가환(半可換) 범주 전반에 걸쳐 “(K) 가 (A) 의 정규 부분대상 ⇔ (

상세 분석

논문은 먼저 정규성에 관한 전통적 정의들을 범주론적 틀 안에서 재정리한다. 그룹 이론에서의 정규 부분군, 고전적 정규 서브오브젝트, 그리고 이상‑결정 범주에서의 ‘이데얼(ideal)’ 개념을 각각 ‘정규화 사상(normal monomorphism)’, ‘정규 서브오브젝트(normal subobject)’, ‘이데얼 서브오브젝트(ideal subobject)’ 로 명명하고, 이들 사이의 함축 관계와 동등성을 상세히 증명한다. 특히, 반가환(semi‑abelian) 범주에서는 정규 서브오브젝트와 이데얼 서브오브젝트가 동일함을 보이며, 이는 기존의 ‘정규성 = 커널’이라는 직관을 범주론적 수준에서 확장한다는 점에서 의미가 크다.

다음으로 저자는 히긴스(Higgins)의 교환자 개념을 ‘이상‑결정’ 범주에 맞게 재구성한다. 기존 정의는 교환자를 ‘두 부분대상의 공통 부분을 측정하는 서브오브젝트’로 보았지만, 범주론적 관점에서는 이 교환자를 ‘두 모듈(또는 객체) 사이의 공동 작용을 포착하는 핵심 사상(kernel of the canonical comparison)’ 으로 정의한다. 이를 위해 저자는 ‘교환자 사상’ (