부분전단사 범주의 구조와 정확성

초록

부분함수 범주는 이론 컴퓨터 과학에서의 적용이 급증함에 따라 점점 더 중요해지고 있다. 본 논문에서는 집합 사이의 부분전단사들로 이루어진 범주가 폐쇄된 사영을 갖는 역-바이어* 범주(inverse‑Baer*‑category)이며, 그 아이디포턴트 분해(idempotent split)가 정확한(exact) 범주임을 증명한다. 마지막으로 이 정확한 범주에 대해 노터(Noether) 동형정리를 제시한다.

상세 분석

부분함수는 정의역의 일부에만 값이 할당되는 함수로, 전산 이론에서 부분 프로그램이나 비결정적 연산을 모델링하는 데 필수적이다. 특히 부분전단사(partial bijection)는 정의역과 공역이 동일한 크기의 부분집합 사이에 일대일 대응을 제공하므로, 역함수와 유사한 구조적 특성을 유지하면서도 정의역을 제한할 수 있다. 이러한 부분전단사들을 사상으로 하는 범주 𝔓Bij는 객체가 집합이고 사상이 부분전단사인 카테고리이며, 합성은 일반적인 함수 합성과 동일하게 정의된다.

논문이 주장하는 바는 𝔓Bij가 ‘역‑바이어* 범주(inverse‑Baer*‑category)’라는 점이다. 역‑바이어* 범주는 각 사상이 ‘역원’(inverse)과 ‘바이어* 연산’(Baer* operation)을 동시에 가질 수 있는 구조를 의미한다. 구체적으로, 각 부분전단사 f에 대해 f⁻¹이 존재하고, f·f⁻¹·f = f 와 f⁻¹·f·f⁻¹ = f⁻¹이 성립한다. 이는 부분전단사들이 전통적인 군론에서의 부분군처럼 행동함을 보장한다.

또한 논문은 이 범주의 사영(projection)이 ‘폐쇄(closed)’하다고 말한다. 여기서 사영은 idempotent(즉, p·p = p)인 사상을 의미하는데, 폐쇄성은 이러한 사영들이 다시 부분전단사 범주 안에서 동일한 형태를 유지한다는 뜻이다. 즉, 사영의 이미지와 코어가 모두 부분집합으로서 다시 부분전단사로 표현될 수 있다.

‘아이디포턴트 분해(idempotent split)’가 정확한(exact) 범주를 만든다는 결과는 범주론에서 중요한 의미를 가진다. 정확한 범주는 커널과 코커널이 존재하고, 이들 사이에 ‘짧은 정확한 시퀀스(short exact sequences)’가 정의될 수 있는 구조를 말한다. 부분전단사 범주에서 아이디포턴트를 분해한다는 것은 각 사영 p에 대해 객체 X를 pX와 (1‑p)X라는 두 부분으로 분리할 수 있음을 의미한다. 이러한 분해는 호몰로지 이론과 같은 고차 구조를 정의하는 데 필수적이며, 특히 컴퓨터 과학에서 프로그램의 부분적 실행 흐름을 분석할 때 유용하다.

마지막으로 저자는 이 정확한 범주에 대해 ‘노터 동형정리(Noether isomorphism theorems)’를 제시한다. 고전적인 군론이나 모듈 이론에서의 노터 정리는 부분구조와 몫구조 사이의 동형 관계를 설명한다. 여기서는 부분전단사 범주의 짧은 정확한 시퀀스를 이용해, 예를 들어 A ⊆ B ⊆ C 라는 포함 관계가 있을 때 (C/A) ≅ (C/B) ⊕ (B/A) 와 같은 동형성을 얻는다. 이는 부분전단사들을 이용한 구조적 분해가 가능함을 보여 주며, 이론 컴퓨터 과학에서 프로그램 모듈의 재사용성과 합성성을 수학적으로 뒷받침한다. 전체적으로 이 논문은 부분전단사 범주의 내재된 대수적·범주론적 성질을 체계화함으로써, 추상적인 수학 이론과 실용적인 계산 모델 사이의 다리를 놓는다.