제한 범주와 풍부한 범주의 동등성

초록

이 논문은 제한 범주를 켈리(Kelly)의 풍부한 범주 이론을 이용해 특정한 풍부화 기반 위의 풍부한 범주와 동등하게 만들 수 있음을 보인다. 풍부화 기반을 적절히 변형하면 조인 제한 범주와 레인지 제한 범주 역시 같은 방식으로 기술할 수 있다.

상세 분석

논문은 먼저 제한 범주의 기본 정의를 재검토한다. 제한 범주는 각 사상 f:A→B에 대해 도메인 A 위의 사상 (\bar f:A→A)를 할당하는 연산을 갖는다. 이 연산은 f가 정의된 부분을 나타내는 부분 항등 사상으로, (\bar f)는 idempotent이며 여러 공리(예: (\bar f\circ f = f), (\bar g\circ \bar f = \bar f\circ \bar g) 등)를 만족한다. 이러한 구조는 부분 함수와 부분 정의된 연산을 범주론적으로 포착한다는 점에서 중요하다.

저자는 이어서 풍부한 범주의 개념을 도입한다. 켈리의 풍부화 이론에 따르면, 한 범주는 어떤 폐쇄된 단조적 구조 (\mathcal V) 위에 ‘(\mathcal V)-enriched’ 될 수 있다. 여기서 (\mathcal V)는 텐서 구조와 내부 호몰을 가진 대칭 모노이달 카테고리이다. 논문은 제한 범주와 일대일 대응시키기 위해 (\mathcal V)를 ‘부분 아이덴티티’를 객체로 갖는 특수한 포화된 카테고리, 즉 ‘제한 대수’(restriction algebra)로 정의한다. 이 (\mathcal V)의 객체는 부분 사상들의 집합이며, 호몰은 부분 순서에 따라 정의된 ‘관계’(relation)이다.

핵심 정리는 다음과 같다. 어떤 범주 (\mathcal C)에 제한 연산이 주어졌을 때, (\mathcal C)는 (\mathcal V)-enriched 범주와 정확히 동형이며, 반대로 (\mathcal V)-enriched 범주가 주어지면 그 풍부화 구조에서 유도된 제한 연산이 기존의 제한 연산 공리를 만족한다. 증명은 두 방향 모두에서 동형 사상과 동형 자연 변환을 구성함으로써 이루어진다.

또한 저자는 풍부화 기반 (\mathcal V)를 조인 연산이 가능한 라티스 구조로 확장함으로써 ‘조인 제한 범주’를, 레인지 연산을 포함하는 구조로 확장함으로써 ‘레인지 제한 범주’를 각각 동일한 풍부화 프레임워크 안에 포함시킨다. 이는 기존에 별도로 다루어지던 두 변형이 동일한 카테고리 이론적 틀 안에서 통합될 수 있음을 보여준다.

이러한 결과는 제한 범주의 연구를 풍부한 범주 이론의 도구와 연결시켜, 한층 일반화된 구조적 분석과 새로운 예시(예: 부분 함수의 컴퓨터 과학적 모델링, 데이터베이스의 부분 스키마 매핑 등)에 적용할 수 있는 기반을 제공한다.