두면 제한 반군과 유도 범주에 대한 에흐레만‑쉐인‑남부오리팟 정리 확장

본 논문은 에흐레만‑쉐인‑남부오리팟(Ehresmann‑Schein‑Nambooripad, 이하 ESN) 정리의 두 가지 주요 사상 클래스를 두면 제한 반군(two‑sided restriction semigroups)과 유도 범주(inductive categories)라는 보다 일반적인 구조로 확장한다. 서론에서는 McAlister와 Reilly가 제시한 (∨,i)‑프리모르피즘과 (∧,i)‑프리모르피즘을 소개하고, 특히 (∧,i)‑프리모르피즘이 최근 부분 작용(partial actions) 연구에서 핵심적인 역할을 함을 강조한다. 이어서 두면 제한 반군의 구체적 정의를 제시한다. PTX와 PT*X라는 두 종류의 부분 변환 모노이드를 이용해, 각각 +와 * 연산으로 닫힌 부분반군을 두면 제한 반군이라 정의한다. 추상적으로는 부분 아이덴티티 집합 E⊆E(S)가 존재하고, 각 원소 a에 대해 좌·우 제한 연산 a⁺, a*가 존재함을 보인다. 이러한 구조는 역반군을 포함하고, 좌·우 동등 관계 e_R^E, e_L^E를 통해 R‑및‑L‑관계와 연결된다. 다음으로 범주론적 배경을 정리한다. 일반적인 소범주(C,·)를 정의하고, 객체 집합 C₀와 도메인·레인지 함수 d,r을 도입한다. 정렬된 범주(ordered category)는 부분 순서 ≤와 함께 (Or1)–(Or3) 조건을 만족한다. 특히 (Or3)에서는 제한 연산 a|f와 코제한 연산 f|a가 정의되며, 이는 이후 제한 반군의 연산과 일치한다. 유도 범주(inductive category)는 모든 객체 사이에 교집합(e∧f)이 존재하는 정렬된 범주이며, 유도 군oid은 여기에 역원 존재 조건(G)을 추가한 구조이다. Theorem 3.6에 의해, 두면 제한 반군 S에 대해 곱셈 a·b를 a*b가 정의될 때만 ab로 두면 (S,·,≤)가 유도 범주가 된다. 여기서 제한 연산은 a|f = af, f|a = fa 로 표현되고, 교집합은 ef 로 나타난다. 본 논문의 핵심은 네 개의 정리이다. 첫 번째는 Lawson(1991)의 결과를 확장한 Theorem 4.1으로, (∨,r)‑프리모르피즘(‘join‑premorphisms’)을 사상으로 하는 두면 제한 반군의 범주와 (2,1,1)‑morphisms를 사상으로 하는 유도 범주의 범주가 동형임을 보인다. 이는 기존 ESN 정리에서 ‘morphisms’를 ‘(2,1,1)‑morphisms’로 일반화한 것과 일치한다. 두 번째는 (∧,r)‑프리모르피즘에 대한 Theorem 5.1으로, 순서 보존을 추가한 ‘meet‑premorphisms’를 사용해 동일한 범주 동형을 얻는다. 그러나 일반적인 (∧,r)‑프리모르피즘은 합성에 대해 닫히지 않으므로, 저자는 ‘강한 (∧,r)‑프리모르피즘’(Theorem 5.9)을 정의한다. 강한 형태는 추가적인 +와 * 연산 조건을 만족해 합성 폐쇄성을 보장한다. 세 번째는 이러한 결과를 역반군에 제한하여, 순서 보존 (∧,i)‑프리모르피즘에 대한 Theorem 6.1을 도출한다. 이는 기존 ESN 정리에서 ‘morphisms’를 ‘ordered functors’로 바꾼 것과 유사하지만, 이제 ‘∧‑프리모르피즘’이라는 보다 일반적인 사상 클래스를 허용한다. 마지막으로, 논문은 이러한 정리들이 역반군뿐 아니라 두면 제한 반군 전반에 적용 가능함을 강조하고, 특히 부분 작용 이론에서 ‘∧‑프리모르피즘’이 구조적 변환을 기술하는 데 유용함을 제시한다. 기술적 기여는 다음과 같다. (1) 두면 제한 반군이라는 보다 넓은 대수적 환경에서 ESN 정리를 확장함으로써, 기존 역반군 중심의 이론을 일반화하였다. (2) ‘∧‑프리모르피즘’이라는 최근 중요성을 얻은 사상 클래스를 체계화하고, 강한 형태를 도입해 범주적 합성을 보장하였다. (3) 제한 반군과 유도 범주 사이의 구체적·추상적 연결 고리를 명확히 함으로써, 부분 작용, 동적 시스템, 권한 관리 모델 등 다양한 응용 분야에 적용 가능한 이론적 토대를 제공한다. 논문은 또한 향후 연구 방향으로, 강한 (∧,r)‑프리모르피즘의 범주적 특성, 제한 반군의 동형 사상 분류, 그리고 부분 작용의 고차 구조와의 연계 등을 제시한다.