[논문 리뷰] A bicategory of decorated cospans

Kenny Courser|arXiv (Cornell University)|2016. 05. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 11

한 줄 요약

이 논문은 유한 코극한이 있는 범주에서 코스팬에 추가 구조(예: 가중치, 벡터장 등)를 부착하기 위해 대칭 립스 모나드 함수자 F: C → D 를 사용하여 장식된 코스팬의 대칭 모나드 이중 범주를 소개한다. 셸만의 기법을 활용하여 진동 이중 범주로부터 대칭 모나드 이중 범주를 구성함으로써, 전기 회로와 동적 시스템과 같은 구조적 구성 요소를 가진 네트워크를 모델링할 수 있는 프레임워크를 수립한다. 이는 장식된 코스팬의 동형류를 통해 구성적 추론을 가능하게 한다.

ABSTRACT

If $\mathbf{C}$ is a category with pullbacks then there is a bicategory with the same objects as $\mathbf{C}$, spans as morphisms, and maps of spans as 2-morphisms, as shown by Benabou. Fong has developed a theory of "decorated" cospans, which are cospans in $\mathbf{C}$ equipped with extra structure. This extra structure arises from a lax symmetric monoidal functor $F \colon \mathbf{C} o \mathbf{D}$; we use this functor to "decorate" each cospan with apex $N \in \mathbf{C}$ with an element of $F(N)$. Using a result of Shulman, we show that when $\mathbf{C}$ has finite colimits, decorated cospans are morphisms in a symmetric monoidal bicategory. We illustrate our construction with examples from electrical engineering and the theory of chemical reaction networks.

연구 동기 및 목표

• 코스팬의 이중 범주를 대칭 립스 모나드 함수자를 통해 추가 구조를 포함하도록 일반화하기.
• 전기 회로와 화학 반응 네트워크와 같은 응용 수학 및 공학 분야의 네트워크를 위한 구성적 프레임워크 제공하기.
• 장식된 코스팬을 범주가 아닌 이중 범주에서 사상으로 간주함으로써 네트워크의 동형류를 체계화하기.
• 셸만의 코스팬 결과를 셸만의 대칭 모나드 이중 범주 기법을 사용하여 장식된 코스팬으로 확장하기.
• 네트워크 조합과 구조 장식을 통합하여 더 풍부한 개방 시스템 모델링을 가능하게 하기.

제안 방법

• 범주 C의 코스팬의 정점에 대해 대칭 립스 모나드 함수자 F: C → D 를 사용하여 F(N) ∈ D 의 원소로 장식하기.
• 범주 C에서 선택한 쌍대곱과 코프로덕트를 사용하여 장식된 코스팬으로부터 대칭 모나드 진동 이중 범주를 구성하기.
• 셸만의 기법을 적용하여 이중 범주를 장식된 코스팬의 대칭 모나드 이중 범주로 승격시키기.
• 사상으로서 코스팬 X → N ← Y 를 I → F(N) 의 사상 s 로 장식한 것으로 정의하기. 여기서 I 는 D 에서의 항등원이다.
• 코프로덕트와 함수자 F 의 모나드 구조를 통해 합성과의 호환성을 확보하고, 대칭성과 결합법칙을 유지하기.
• 예시를 통해 구성법을 설명하기: 전기 회로의 경우 가중치가 있는 그래프, 동적 시스템의 경우 벡터장

실험 결과

연구 질문

• RQ1 장식된 코스팬을 어떻게 대칭 모나드 이중 범주로 조직하여 네트워크 이론에서 구성적 추론을 지원할 수 있는가?
• RQ2 범주 C 와 함수자 F 에 대해 어떤 조건이 장식된 코스팬이 대칭 모나드 이중 범주를 이룰 수 있도록 보장하는가?
• RQ3 대칭 립스 모나드 함수자 F 는 어떻게 물리적 구조(예: 저항, 벡터장 등)를 네트워크 구성 요소에 인코딩하는가?
• RQ4 이중 범주 구조는 등식을 넘어서 동형류의 네트워크를 어떻게 허용하는가?
• RQ5 이 프레임워크는 개방 시스템 이론과 전기 회로를 동일한 범주적 언어로 모델링하는 데 적용될 수 있는가?

주요 결과

• 이 구성은 대칭 모나드 이중 범주를 생성하며, 여기서 객체는 C 의 원소이고, 사상은 F(N) 에서 온 데이터를 가진 장식된 코스팬 X → N ← Y 이며, 2-사상은 장식을 유지하는 스펜의 사상이다.
• 이중 범주 구조는 코프로덕트를 통한 네트워크 합성과 함께, 함수자 F 를 통해 일관되게 장식이 변환되는 것을 지원한다.
• 전기 회로의 경우, 장식 함수자 F 는 각 유한 집합 N 에 대해 N 에서의 가중치가 있는 그래프의 집합을 할당한다. 여기서 가중치는 저항을 나타낸다.
• 동적 시스템의 경우, 함수자 D: FinSet → Set 는 각 유한 집합 S 에 대해 R^S 상의 벡터장의 집합을 할당하며, 이는 개방 시스템을 모델링한다.
• 이 프레임워크는 레르만과 스피바크의 개방 동적 시스템에 대한 이전 연구 결과를 특수한 경우로 복원한다.
• 이 방법은 셸만의 코스팬 결과를 장식된 코스팬으로 일반화하여, 구성적이고 대칭 모나드 이중 범주적 환경에서 구조적 개방 네트워크를 체계적으로 모델링할 수 있는 방법을 제공한다.