A taxonomy of categories for relations

기술적 요약: 관계에 대한 범주들의 분류

문제 제기
관계의 구조적 성질을 추상화하는 범주에 대한 연구는 지난 수십 년간 다양하고 풍부한 결과물을 산출해 왔습니다. 그러나 대수적 표현 (용어 그래프), 범주적 확률, 부분 함수, 논리 등 서로 다른 맥락에서 비롯된 유사 개념들의 급증은 문헌을 분열시켰습니다. 이러한 구조들은 종종 근본적인 성질을 공유하지만, 다른 표기법과 용어 (예: 제한 범주, 마르코프 범주, $p$-범주, 복사/폐기 범주) 를 사용합니다. 이러한 분열은 해당 분야를 탐색하고 이러한 다양한 범주적 개념들을 연결하는 명확한 틀을 수립하는 것을 어렵게 만듭니다. 또한, 카르테시안 범주 위의 대칭 모노이달 모나드의 클라이슬리 범주가 대칭 모노이달이라는 것은 알려진 사실이지만, 이러한 성질들이 풍부화된 맥락과 모나드의 특정 하위 클래스 (아핀, 관련, $gs$-모노이달) 로 어떻게 확장되는지에 대한 체계적인 조사는 부재했습니다.

방법론
저자들은 이러한 구조들을 통합하고 분류하기 위해 끈 다이어그램 언어에 기반한 모듈식 접근법을 사용합니다. 핵심 방법론은 다음과 같습니다:

1. 핵심 공리의 분해: 분류 체계는 두 가지 기본 개념, 즉 복제자 $\nabla_X: X \to X \otimes X$를 갖춘 **공유 범주 (share categories)**와 폐기자 $!_X: X \to I$를 갖춘 **쓰레기 범주 (categories with garbage)**에 기반합니다.
2. 공리적 변형: 이러한 화살표의 존재와 자연성에 대한 요구 사항을 변화시킴으로써 저자들은 범주의 위계 구조를 유도합니다. 예를 들어, 두 화살표 모두에 대해 자연성을 요구하면 카르테시안 모노이달 범주가 되지만, 존재만 요구하면 $gs$-모노이달 범주가 됩니다.
3. 이중화와 풍부화: 이 틀은 이중 구조 ($cogs$-모노이달 범주) 와 사전순서 풍부화 맥락 (집합론적 포함과 같은 순서를 나타내는 2-셀을 갖는 2-범주로 표준 범주를 대체) 으로 확장됩니다.
4. 클라이슬리 분석: 이 논문은 이러한 기본 범주 위의 대칭 모노이달 모나드 (특히 아핀, 관련, $gs$-모노이달 모나드) 의 클라이슬리 범주를 조사합니다. 기본 범주의 구조적 성질 (예: 대각선이나 사영의 존재) 이 결과적으로 생성된 클라이슬리 범주에서 어떻게 보존되거나 변형되는지 분석합니다.

주요 기여

• 통합된 분류: 이 논문은 복제자와 폐기자의 존재 및 자연성에 기반하여 "관계에 대한 범주"(마르코프, 제한, $gs$-모노이달, 카르테시안 범주 포함) 를 조직화하는 포괄적인 도식적 분류를 제공합니다.
• 알려진 구조의 특성화: 제안된 분류와 기존 틀 사이의 정확한 대응 관계를 수립합니다. 구체적으로:
  • 사영을 갖는 $gs$-모노이달 범주는 정확히 마르코프 범주에 대응함이 보입니다.
  • 대각선을 갖는 $gs$-모노이달 범주는 정확히 카르테시안 제한 범주에 대응함이 보입니다.
• 클라이슬리 범주 결과: 저자들은 대각선 (각각 사영) 을 갖는 범주 위의 관련 (각각 아핀) 모나드의 클라이슬리 범주가 이러한 특정 구조들을 유지함을 증명합니다. 결과적으로, 카르테시안 모노이달 범주 위의 $gs$-모노이달 모나드의 클라이슬리 범주 자체도 카르테시안 모노이달입니다.
• 풍부화된 맥락: 이 논문은 이러한 결과를 사전순서 풍부화 범주로 확장합니다. oplax 카르테시안 범주(화살표가 oplax 방식으로 복사와 폐기가 가능한 범주) 를 도입하고, 특정 부등식을 만족하는 포설 oplax 카르테시안 범주가 제한 범주와 동치임을 보여줍니다.
• 이중 및 쌍대대수적 구조: 이 작업은 이중 구조 ($cogs$-모노이달, bigs-모노이달) 를 정의하고 분석하며, 모노이드와 코모노이드 구조 간의 상호작용을 탐구하여 쌍대대수적 및 프로베니우스 범주에 대한 조건을 규명합니다.

결과

• 구조적 보존: 이 논문은 $gs$-모노이달 범주라는 성질이 대칭 모노이달 모나드에 대한 클라이슬리 범주 형성 하에서 보존됨을 보여줍니다.
• 구체적 보존:
  • 기본 범주 $C$가 사영을 갖는 경우 (마르코프 범주) 그리고 $T$가 아핀 모나드이면, 클라이슬리 범주 $C_T$는 사영을 갖습니다.
  • $C$가 대각선을 갖는 경우 (카르테시안 제한 범주) 그리고 $T$가 관련 모나드이면, $C_T$는 대각선을 갖습니다.
  • $C$가 카르테시안 모노이달이고 $T$가 $gs$-모노이달 모나드이면,$C_T$는 카르테시안 모노이달입니다.
• 풍부화된 클라이슬리 범주: 사전순서 풍부화 $gs$-모노이달 범주에 대해,$C$가 oplax 카르테시안이고 $T$가 colax $gs$-모노이달 모나드이면, 클라이슬리 범주$C_T$ 또한 oplax 카르테시안입니다.
• 카르테시안 비카테고리: 이 논문은 카르테시안 비카테고리가 특정 부등식을 만족하는 lax 특수 (lax special) 이고 lax 연결 (lax connected) 인 포설 oplax 비카르테시안 범주에 정확히 대응함을 보여줍니다. 또한, 카르테시안 비카테고리 위의 colax $gs$-모노이달 모나드의 클라이슬리 범주 자체가 카르테시안 비카테고리임을 보여줍니다.
• 예시: 이 분류는 스패너 범주, 가중 관계 (반환 모나드를 통해), 부분/전체 관계의 집합 범주 등 다양한 예를 통해 검증됩니다.

의의 및 주장
저자들은 그들의 주요 기여가 이러한 관련 개념들을 위한 단일 모듈식 참조점을 제공함으로써 분열된 분야에 명확성과 조직을 가져온 것이라고 주장합니다. 끈 다이어그램과 최소한의 공리 집합을 사용하여, 그들은 관계적 개념들을 비교하기 위한 직관적이면서도 엄격한 언어를 제공합니다.

클라이슬리 범주 분석과 관련하여, 이 논문은 이러한 결과를 풍부화된 맥락 (사전순서 풍부화 범주) 으로 확장하는 것이 저자들의 지식 범위 내에서는 독창적이라고 명시합니다. 이 작업은 관련 자료를 한곳에 모아 경험 있는 연구자들을 지원하고, 자기 완결된 소개를 제공하여 초보자를 돕는 것을 목표로 합니다. 저자들은 명시적으로 에피 - 모노 분해에 대해 간략히 언급하지만, 분배 법칙과 같은 분해 기법과의 체계적인 비교는 이 논문의 범위를 벗어난다고 지적하며, 그들의 $gs$-모노이달 접근법을 이중 범주 기반 분류에 대한 고유하고 공리적으로 간단한 대안으로 위치시킵니다.

이 논문은 자유 $gs$-모노이달 범주의 조합론적 표현, 피드백 시스템을 위한 추적 범주로의 확장, 확률론 맥락에서의 마르코프 범주 및 아핀 모나드에 대한 대안적 개념에 대한 추가 조사 등을 포함한 향후 방향을 제시하며 결론을 맺습니다.