[논문 리뷰] Decorated Corelations

Brendan Fong|arXiv (Cornell University)|2017. 03. 29.

Homotopy and Cohomology in Algebraic Topology인용 수 8

한 줄 요약

이 논문은 코어레이션(corelations)과 (E,M)-분해 체계를 통해 코스팬을 인수하고, Set로 향하는 대칭 약한 모나드 함자(symmetric lax monoidal functor)를 결합하여 초그래프 범주(hypergraph categories)를 구성하는 방법을 제안한다. 초그래프 범주는 각 객체가 특수한 교환적 프로비우스 모나드(commutative Frobenius monoid)를 갖는 대칭 모나드 범주이다. 주요 기여는 네트워크 유사 시스템(예: 전기 회로)의 효율적이고 의미 유지(composition)된 조합을 가능하게 하며, 조합 과정에서 관련 없는 내부 구조를 생략하는 일반적인 구성법을 제공하는 것이다. 이는 장식된 함자(functors) 간의 자연 변환을 통한 초그래프 함자(hypergraph functors) 체계적 정의를 가능하게 한다.

ABSTRACT

Let $\mathcal C$ be a category with finite colimits, and let $(\mathcal E,\mathcal M)$ be a factorisation system on $\mathcal C$ with $\mathcal M$ stable under pushouts. Writing $\mathcal C;\mathcal M^{\mathrm{op}}$ for the symmetric monoidal category with morphisms cospans of the form $\stackrel{c} o \stackrel{m}\leftarrow$, where $c \in \mathcal C$ and $m \in \mathcal M$, we give method for constructing a category from a symmetric lax monoidal functor $F\colon (\mathcal C; \mathcal M^{\mathrm{op}},+) o (\mathrm{Set}, imes)$. A morphism in this category, termed a \emph{decorated corelation}, comprises (i) a cospan $X o N \leftarrow Y$ in $\mathcal C$ such that the canonical copairing $X+Y o N$ lies in $\mathcal E$, together with (ii) an element of $FN$. Functors between decorated corelation categories can be constructed from natural transformations between the decorating functors $F$. This provides a general method for constructing hypergraph categories---symmetric monoidal categories in which each object is a special commutative Frobenius monoid in a coherent way---and their functors. Such categories are useful for modelling network languages, for example circuit diagrams, and such functors their semantics.

연구 동기 및 목표

• 네트워크 언어(예: 회로도)를 구성적이고 의미론적으로 존중하는 방식으로 범주론적 프레임워크를 개발하기 위해.
• 장식된 코스팬(decorated cospans)이 조합 과정에서 관련 없는 내부 세부 정보를 유지하는 데 기인한 비효율성을 해결하기 위해.
• 코어레이션과 대칭 약한 모나드 함자(symmetric lax monoidal functors)를 사용하여 초그래프 범주를 일반적으로 구성함으로써, 네트워크 스타일 조합과의 일관성과 호환성을 확보하기 위해.
• 장식된 함자 간의 자연 변환을 통해 이러한 범주 간의 초그래프 함자를 구성함으로써 의미론적 매핑을 가능하게 하기 위해.
• 구체적인 예제(예: 선형 관계(LinRel)와 전기 회로)를 통해 방법의 실용적 유용성을 입증하기 위해.

제안 방법

• 유한 코류티드가 있는 범주 C에서 (E,M)-분해 체계에 따라 유도된 코어레이션을 사용: 코스팬 X →N ←Y에서 합성 사상 X+Y →N 이 E에 속하는 경우.
• 모노이드 구조가 분리 합(disjoint union)으로 주어지는 대칭 모나드 범주 C;M^op를 구성함. 여기서 사상은 C의 정점과 M의 다리로 이루어지며, 정점은 C의 객체이다.
• Set로 향하는 대칭 약한 모나드 함자 F: (C;M^op, +) → (Set, ×)를 적용하여 코어레이션에 추가 데이터(예: 부분공간 또는 회로 구성)를 장식한다.
• 장식된 코어레이션을 코어레이션 X →N ←Y와 FN의 원소의 쌍으로 정의하며, 병합(pushouts)과 F의 함자성에 의해 조합이 정의된다.
• M이 병합에 대해 안정되어 있을 경우, 코어레이션 조합에 의해 유도되는 프로비우스 모나드 구조를 통해 결과 범주가 초그래프 범주로서의 구조를 상속함을 보장한다.
• 장식된 함자 F와 G 간의 자연 변환을 통해 장식된 코어레이션 범주 간의 함자를 구성함으로써 초그래프 구조를 유지한다.

실험 결과

연구 질문

• RQ1 어떻게 우리는 네트워크 조합을 모델링하면서 관련 없는 내부 구조를 생략하는 초그래프 범주를 구성할 수 있는가?
• RQ2 (E,M) 분해 체계에 어떤 조건이 성립하면 코어레이션이 초그래프 범주를 이룰 수 있는가?
• RQ3 장식된 코어레이션은 어떻게 네트워크 모델 간의 초그래프 함자를 정의하는 데 사용될 수 있는가? 예를 들어, 회로도에서 선형 관계로의 함수로.
• RQ4 LinRel이 일반적 방법으로부터 유도된 장식된 코어레이션 범주로 구성될 수 있는가? 이는 비제어 가능한 시스템의 의미론에 어떤 함의를 갖는가?
• RQ5 장식된 코어레이션 접근법은 열린 시스템의 의미론 모델링에서 장식된 코스팬보다 어떻게 개선되는가?

주요 결과

• C가 유한 코류티드를 갖고 있고, (E,M)가 M이 병합에 대해 안정된 분해 체계이면, C의 코어레이션은 초그래프 범주를 이룬다.
• 장식된 코어레이션은 코어레이션 X →N ←Y (합성 사상이 E에 속함)와 F(N)의 원소로 구성되며, F는 (Set,×)로 향하는 대칭 약한 모나드 함자이다.
• 이 구성은 유한 집합의 범주와 동형-사상 분해 체계를 사용하고, Lin: FinSet → Set가 k^N의 부분공간으로 사상하는 함수일 때, 사상이 선형 관계와 동형임을 보장한다.
• 코어레이션을 통해 구성된 범주 LinCorel은 LinRel—유한 차원 벡터 공간과 선형 관계의 범주—와 동형이 되며, 선형 시스템에 대한 코어레이션 기반 기초를 제공한다.
• 회로도의 장식된 코스팬 범주에서 LinRel로의 초그래프 함자는, 회로 함자 Circ에서 Lin∘γ로의 모노이드 자연 변환을 통해 구성될 수 있다. 여기서 γ는 유한 집합을 코스팬으로 통합하는 포함함수이다.
• 이 방법은 모든 초그래프 범주로 일반화 가능하며, 장식된 함자 간의 자연 변환을 통해 초그래프 함자를 구성함으로써, 문법적 및 의미론적 모델링의 통합을 가능하게 한다.