대체와 치환을 위한 통합 구조 프레시브와 명목 집합의 연결

초록

이 논문은 프레시브와 명목 집합(및 이름 바꾸기 집합)에서 치환을 모델링하는 닫힌 모노이달 구조를 일반화하는 방법을 제시한다. 단일 액션을 이용해 치환 텐서를 생성하고, 이를 닫힌 모노이달 구조로 만들기 위한 조건을 제시한다. 이를 통해 기존의 여러 프레시브 치환 텐서를 통일적으로 재구성하고, 명목 집합과 이름 바꾸기 집합에 새로운 치환 텐서를 도입한다. 또한 두 세계 사이의 새로운 범주론적 대응 관계들을 밝혀낸다.

상세 분석

논문은 먼저 Fiore·Plotkin·Turi가 제시한 프레시브 기반 치환 텐서가 “⊳”라는 대입 연산을 통해 정의된다는 점을 재조명한다. 여기서 ⊳는 컨텍스트 A와 객체 X 사이의 A‑fold 파워 X_A 를 의미하며, 치환 텐서 X ⋄ Y는 (X_A × (A⊳Y))/∼ 로 구성된다. 저자들은 이 구조가 단순히 프레시브에 국한되지 않고, 임의의 범주 C에 대해 모노이달 범주 A가 C에 왼쪽 액션 ⊳:A×C→C 를 제공하면 동일한 방식으로 치환 텐서를 만들 수 있음을 보인다. 핵심 정리는 두 가지 단계로 나뉜다. 첫째, 액션으로부터 자유롭게 생성된 텐서 ⋄가 모노이달 구조를 형성한다는 것; 둘째, “컨텍스추얼리티(contextuality)”라는 추가 조건이 만족될 때 ⋄가 오른쪽 닫힌 구조, 즉 내부 호모(Y −⋄ Z)를 갖게 된다는 점이다. 컨텍스추얼리티는 각 객체가 액션을 통해 충분히 표현될 수 있음을 보장하는 카테고리‑이론적 성질이며, 이는 프레시브 경우에선 카테고리 Ctx가 교환, 약화, 수축 등 변수 사용 규칙에 따라 달라지는 네 가지 경우(F, I, S, B) 모두를 포괄한다.

다음으로 저자들은 이 일반 이론을 구체적인 프레시브 카테고리