[논문 리뷰] A Universal Construction for (Co)Relations

Brendan Fong, Fabio Zanasi|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|2017. 03. 23.

Natural Language Processing Techniques인용 수 5

한 줄 요약

이 논문은 맵의 기저 범주(예: 선형 사상 또는 함수) 위에서 스팬과 코스팬의 쌍차를 이용하여 (코)관계 범주(예: 관계, 코관계, 선형 부분공간 등)를 위한 일반적인 구성법을 제시한다. 분배 법칙과 범주론적 쌍차를 활용하여 양자 계산, 제어 이론, 프로그램 의미 이론 분야의 다양한 공리 체계를 통합하며, (코)관계 범주는 쌍차로서 나타나며, 이는 스트링 다이어그램에 대한 완전하고 모듈러한 등식적 추론을 가능하게 한다.

ABSTRACT

Calculi of string diagrams are increasingly used to present the syntax and algebraic structure of various families of circuits, including signal flow graphs, electrical circuits and quantum processes. In many such approaches, the semantic interpretation for diagrams is given in terms of relations or corelations (generalised equivalence relations) of some kind. In this paper we show how semantic categories of both relations and corelations can be characterised as colimits of simpler categories. This modular perspective is important as it simplifies the task of giving a complete axiomatisation for semantic equivalence of string diagrams. Moreover, our general result unifies various theorems that are independently found in literature, including the cases of linear corelations (relevant for the semantics of electrical circuits), of partial equivalence relations and of linear subspaces (semantics of signal flow graphs and of the phase-free ZX calculus).

연구 동기 및 목표

• 양자 과정, 제어 시스템, 프로그램 의미 이론 등 서로 다른 분야에서 나타나는 (코)관계 범주의 구성법이 서로 다를 것처럼 보이지만, 이를 통합하는 것.
• 간단한 다이어그램 성분의 쌍차로서 관계 및 코관계 범주의 일반적인 범주론적 프레임워크를 제공하는 것.
• 스트링 다이어그램 의미 이론에 대한 완전한 등식적 공리 체계가 선형 사상 또는 함수의 기저 범주로부터 모듈러하게 유도될 수 있음을 보여주는 것.
• 이 쌍차 구성법을 벡터 공간을 초월해 모나드의 대수나 정규 범주로 확장하여 적용 범위를 넓히는 것.
• 스팬과 코스팬으로부터 초래되는 초그래프 범주를 구축하는 기초적인 방법을 확립하여, 향후 장식된 코관계 및 일반화된 네트워크 모델에 대한 연구를 지원하는 것.

제안 방법

• 논문은 맵의 기저 범주(예: 선형 사상 또는 함수) 위에서 스팬과 코스팬을 사용하여 프롭의 범주에서 쌍차를 통해 (코)관계 범주를 구성한다.
• 스팬과 코스팬 구성법을 조합하기 위해 프롭의 분배 법칙을 적용하여 등식적 공리 체계의 모듈러한 파생을 가능하게 한다.
• 쌍차의 보편 성질에 기반하여 기저 범주와 그 쌍대 범주의 공리 체계로부터 유도된 (코)관계 범주의 완전한 공리 체계를 도출한다.
• 유한 쌍차 완비성과 분리 가능한 정규 에피모르피즘을 갖는 정규 범주로 일반화하여, 모나드의 아이レン버그–무어 범주로의 적용을 가능하게 한다.
• 예시를 통해 방법을 설명한다: 선형 부분공간(SV_k), 동치 관계(ER), 부분 동치 관계(PER)는 모두 스팬과 코스팬의 쌍차로부터 유도된다.
• 이 방법은 필드 위의 대수나 이중선형 곱을 갖는 대수 등 모나드의 대수로 확장되며, 필요한 범주론적 조건(예: 유한 쌍차 완비성, 분리 가능한 에피모르피즘)을 만족하는지 검증한다.

실험 결과

연구 질문

• RQ1 스팬과 코스팬과 같은 더 단순한 다이어그램 성분으로부터 관계 및 코관계 범주를 보편적으로 구성할 수 있는가?
• RQ2 기저 범주에서 맵의 성질로부터 스트링 다이어그램 의미 이론에 대한 모듈러하고 완전한 등식적 공리 체계를 어떻게 도출할 수 있는가?
• RQ3 스팬과 코스팬의 쌍차가 잘 정의된 (코)관계 범주를 유도하기 위해 어떤 범주론적 조건이 필요한가?
• RQ4 이 구성법이 제어 이론, 양자 계산, 프로그램 의미 이론의 예시들을 어느 정도 통합하는가?
• RQ5 이 쌍차 구성법은 선형 사상 외에도 모나드의 대수, 예를 들어 이중선형 곱을 갖는 벡터 공간 등으로 확장될 수 있는가?

주요 결과

• 선형 부분공간의 범주(SV_k)는 선형 사상의 범주(Vect_k) 위에서 스팬과 코스팬의 쌍차로 구성되며, 이는 보편적 특성을 갖는다.
• 상호작용하는 호프 대수의 이론은 스팬과 코스팬 구성법 위에서 분배 법칙을 적용하여 도출된 SV_k의 완전한 등식적 공리 체계이다.
• 이 구성법은 동치 관계(ER)와 부분 동치 관계(PER)로 일반화되며, 삽입과 함수를 사용한 유사한 쌍차 분해가 가능하다.
• 유한 쌍차 완비성과 분리 가능한 정규 에피모르피즘을 갖는 정규 범주에서 모나드의 아이렌버그–무어 범주로 적용 가능하여, 대수적 구조에서의 관계를 구성할 수 있다.
• 결과적으로 유도된 (코)관계 범주는 초그래프 범주이며, 특수한 가환 프로푸스 대수적 구조를 지녀 네트워크 스타일의 다이어그램적 추론을 지원한다.
• FMod_R에서 Vect_k로의 이행에 필드 확장이 필요한 이유를 설명한다: 쌍차 구성법은 형식적 역원이 필요하며, 이는 분수체에서만 존재한다.