이종사상과 인접함수의 통합이론

초록

본 논문은 서로 다른 범주 사이의 객체‑대‑객체 이종사상(heteromorphism)을 정식화하고, 이러한 이종사상의 양측표현(birepresentation)이 모든 인접함수(adjunction)의 근원임을 증명한다. 이를 통해 인접함수의 존재와 구조를 범주론적 관점에서 보다 직관적으로 이해할 수 있다.

상세 분석

논문은 먼저 전통적인 범주론에서 간과되어 온 “이종사상”이라는 개념을 명확히 정의한다. 일반적인 사상은 동일한 범주 내에서 객체를 연결하지만, 실제 수학적 구성에서는 서로 다른 범주에 속한 객체 사이에 자연스럽게 나타나는 삽입, 생성, 자유 구조 부여와 같은 변환이 존재한다. 예를 들어, 집합을 그룹으로 보내는 자유군 생성 함수는 집합 범주의 객체와 그룹 범주의 객체 사이의 이종사상이다. 저자는 이러한 이종사상을 ‘헷터(Heter)’라는 새로운 2‑셀 구조로 도입하고, 이를 범주 C와 D 사이의 ‘헷터 범주(Het(C,D))’로 포장한다.

핵심은 이 헷터 범주가 두 범주의 사상들 사이에 이중 표현(birepresentation)을 제공한다는 점이다. 구체적으로, 한쪽에서는 C‑측에서의 자유 객체(F)와 D‑측에서의 잊혀진 객체(U) 사이에 자연스러운 동형 사상이 존재하고, 반대쪽에서는 D‑측에서의 코자유 객체와 C‑측에서의 보존 객체 사이에 동형 사상이 존재한다. 이러한 쌍의 동형 사상은 전통적인 인접함수(F ⊣ U)의 단일 사상 형태와 동등함을 보인다.

저자는 이중 표현을 ‘헷터 이중표현 정리(Heter Birepresentation Theorem)’라 명명하고, 모든 인접함수가 이 정리의 특수 경우임을 증명한다. 증명 과정에서 Yoneda 보조정리와 한계/공한계의 보편적 성질을 활용하여, 헷터 범주의 대표 객체가 존재할 경우 자동으로 인접함수가 형성된다는 점을 보인다. 또한, 기존의 인접함수 정의가 요구하는 ‘단일 사상’ 조건을 이종사상의 존재와 동등시킴으로써, 인접함수의 존재 조건을 보다 직관적인 ‘이종 사상 존재’ 조건으로 전환한다.

이론적 기여 외에도, 저자는 구체적인 예시들을 제시한다. 집합‑군, 집합‑대수, 위상공간‑연속함수, 그리고 모노이드‑그룹 사이의 전통적 인접함수들을 모두 헷터 이중표현 관점에서 재구성한다. 특히, 자유군 생성과 잊혀진 함수 사이의 인접함수가 헷터 범주의 자유 객체와 잊혀진 객체 사이의 양측표현으로 나타나는 과정을 상세히 기술한다.

마지막으로, 논문은 이종사상 이론이 인접함수의 ‘왜 존재하는가’를 설명하는 근본적인 메커니즘을 제공함을 강조한다. 이는 범주론의 기본 목표인 “수학적 구조의 본질을 포착”하는 데 있어 새로운 시각을 제공하며, 향후 고차원 범주론, 모델이론, 그리고 컴퓨터 과학의 타입 이론 등에 적용 가능성을 시사한다.