범주적 내부 연산자와 위상 구조

초록

**
이 논문은 범주 𝔠와 단사류 𝔐(합성에 닫힌) 위에 내부 연산자 I를 정의하고, 𝔠가 유한 𝔐‑완비이며 사상들의 역상에 좌·우 adjoint가 존재할 때의 기본 성질을 조사한다. 특히 위상공간에서의 폐쇄·내부 연산자와의 관계를 범주론적 틀로 일반화하고, 기존의 폐쇄 연산자 이론과 대비하여 새로운 예시와 응용 가능성을 제시한다.

**

상세 분석

**
논문은 먼저 “내부 연산자”라는 개념을 전통적인 위상공간의 내부 연산자와 유사하게 범주 𝔠에 도입한다. 여기서 𝔐은 𝔠 안의 단사 사상들의 클래스이며, 합성에 대해 닫혀 있고, 𝔠가 유한 𝔐‑완비(finitely 𝔐‑complete)하다는 가정은 역상(functorial pullback)이 존재함을 보장한다. 역상에 대해 좌·우 adjoint가 존재한다는 조건은 각각 “내부 연산자”와 “폐쇄 연산자”가 서로 이중적인 관계를 맺게 하며, 이는 위상공간에서 폐쇄와 내부가 서로 보완적인 역할을 하는 것과 정확히 일치한다.

내부 연산자 I는 𝔐‑단사 m : A→B에 대해 I(m) : A→B 라는 또 다른 𝔐‑단사를 할당하는 함숫값이며, 다음 세 가지 공리(확장성, 단조성, 연속성)를 만족한다.

1. 확장성: m ≤ I(m) (즉, 원래 단사보다 “큰” 단사).
2. 단조성: m ≤ n이면 I(m) ≤ I(n).
3. 연속성: 임의의 사상 f 에 대해 f⁎(I(n)) = I(f⁎(n)) 가 성립한다(여기서 f⁎는 역상).

이 공리들은 전통적인 내부 연산자의 정의와 일치하지만, 범주적 맥락에서는 역상에 대한 좌·우 adjoint가 존재함을 전제로 하여 보다 일반적인 상황에서도 적용 가능하게 만든다. 특히, 𝔐‑단사들의 합성에 대한 닫힘은 I가 복합 구조를 보존하도록 보장한다.

논문은 또한 폐쇄 연산자 C와 내부 연산자 I 사이의 쌍대성을 정리한다. C는 𝔐‑단사 m에 대해 C(m) ≥ m을 만족하고, I와 마찬가지로 단조·연속성을 갖는다. 중요한 결과는 C와 I가 서로의 오른쪽·왼쪽 adjoint 관계에 놓인다는 점이다. 즉, C ⊣ I 혹은 I ⊣ C가 성립한다면, 두 연산자는 서로를 보완하며 위상 구조를 완전히 재구성한다.

다음으로 저자는 구체적인 예시들을 제시한다. 첫 번째 예시는 전통적인 위상공간 범주 Top에서 𝔐을 정규(monotone) 단사로 잡고, 기존의 내부 연산자를 그대로 내부 연산자 I로 해석한다. 두 번째 예시는 대수적 구조인 모듈 범주 Mod_R에서 서브모듈 포함을 𝔐으로 두고, “내부 연산자”를 서브모듈의 핵심(핵) 연산으로 정의한다. 세 번째 예시는 사상들의 역상이 좌·우 adjoint를 갖는 사상류(예: 완비 격자)에서 적용 가능함을 보인다. 이러한 예시들은 내부 연산자 개념이 위상학을 넘어 대수학·논리학·컴퓨터 과학까지 확장될 수 있음을 시사한다.

마지막으로, 논문은 내부 연산자를 이용한 새로운 위상적 구조(예: 내부 위상, 내부 연속성)와 그에 따른 함자적 특성(예: 내부 연속 사상군, 내부 동형 사상군)을 정의하고, 이들이 기존의 위상적 개념과 어떻게 차별화되는지를 논의한다. 특히, 내부 연산자를 통해 정의된 “내부 위상”은 전통적인 위상보다 더 강한 개방성 조건을 갖지만, 특정 범주에서는 오히려 더 자연스러운 구조를 제공한다는 점을 강조한다.

**