범주 전반에서 위성 함수를 일반화한 새로운 접근

본 논문은 1975년 소련 수학 저널에 발표된 G. Janelidze의 “On satellites in arbitrary categories”를 한국어로 상세히 해석·정리한 것이다. 논문의 핵심 목표는 Inassaridze가 제시한 ‘trace’를 가진 프레시(pre)sheaf 개념을 보다 일반적인 범주론적 구조로 확장하는 것이다. 이를 위해 저자는 그래프 S와 두 개의 다이어그램 F : S→X, G : S→Y 를 도입하고, 이 삼중쌍을 객체로 하는 새로운 범주 S(X,Y) 를 정의한다. 사상은 자연스러운 그래프 사상으로 구성되며, (1)식에 의해 S(X,Y)와 S(Y°,X°) 사이에 동형이 존재함을 보인다. 이는 그래프 전치와 동일시될 수 있는 중요한 대칭성을 제공한다. 다음으로 정의 2에서는 ‘S‑연결 사상’ δ 를 도입한다. 여기서 D는 임의의 그래프이며, T : D→A, V : D→A 는 A‑값 함자이다. δ는 T와 V 사이의 자연 변환이면서 동시에 S‑연결성을 만족하는 사상이다. (T,δ,V) 를 ‘S‑연결 쌍’이라 부르고, 이 쌍이 오른쪽 보편(또는 왼쪽 보편)일 경우 V를 T에 대한 오른쪽 위성, 혹은 그 반대로 정의한다. 이 정의는 Inassaridze가 제시한 프레시와 코프레시의 trace 개념을 특수한 경우로 포함한다. 즉, 기존의 위성 이론을 그래프와 두 다이어그램이라는 보다 유연한 틀 안에 끼워 넣음으로써, 공변·반공변 함수 모두에 적용 가능하도록 확장한다. 주요 정리 8은 모든 S∈S(X,Y) 에 대해 위성 함자 S¹ : (X,A)→(Y,A) 가 S¹ : (Y,A)→(X,A) 의 좌측 사상임을 증명한다. 즉, 오른쪽 위성 함자와 왼쪽 위성 함자 사이에 자연스러운 어드정션이 존재한다는 것이다. 이는 위성 구조가 ‘좌·우’ 대칭을 갖는다는 강력한 성질을 제공한다. 정리 9는 K : A→B 가 오른쪽(왼쪽) 사상을 가질 때, 보편적인 S‑연결 쌍 (T,δ,V) 가 K에 의해 이미지된 (KT,Kδ,KV) 역시 같은 보편성을 유지한다는 보존 정리를 제시한다. 따라서 위성은 사상 사이의 어드정션에 대해 안정적이며, 복합적인 범주 구조에서도 일관된 동작을 보인다. 구성 단계에서는 A를 Sets 로 두고, X와 Y를 작은 범주, T : X→Sets, S∈S(X,Y) 를 고정한다. 식 (10)에서 정의된 Y·S·T 는 Y의 각 객체 y에 대해 X와 Y 사이의 ‘코엔드’ 형태의 집합을 만든다. 구체적으로는 \