[논문 리뷰] Decorated Cospans

Brendan Fong|arXiv (Cornell University)|2015. 02. 03.

Homotopy and Cohomology in Algebraic Topology인용 수 8

한 줄 요약

이 논문은 유한 코극한과 브레이드된 심미터티카테고리 사이의 릿지 브레이드된 심미터티 함자로부터 대칭 심미터티카테고리를 구성하는 방법으로 장식된 코스팬을 제안한다. 여기서 사상은 목표 카테고리에서 온 추가 구조(장식)를 갖춘 코스팬이다. 주요 기여는 장식된 코스팬 카테고리가 초그래프 카테고리임을 보여주며, 전기 회로나 화학 반응 시스템과 같은 네트워크 구조에서의 합성 가능성을 지원한다.

ABSTRACT

Let $\mathcal C$ be a category with finite colimits, writing its coproduct $+$, and let $(\mathcal D, \otimes)$ be a braided monoidal category. We describe a method of producing a symmetric monoidal category from a lax braided monoidal functor $F: (\mathcal C,+) o (\mathcal D, \otimes)$, and of producing a strong monoidal functor between such categories from a monoidal natural transformation between such functors. The objects of these categories, our so-called `decorated cospan categories', are simply the objects of $\mathcal C$, while the morphisms are pairs comprising a cospan $X ightarrow N \leftarrow Y$ in $\mathcal C$ together with an element $1 o FN$ in $\mathcal D$. Moreover, decorated cospan categories are multigraph categories---each object is equipped with a special commutative Frobenius monoid---and their functors preserve this structure.

연구 동기 및 목표

• 유한 코극한을 갖춘 카테고리와 브레이드된 심미터티카테고리 사이의 릿지 브레이드된 심미터티 함자로부터 대칭 심미터티카테고리를 일반적으로 구성하는 프레임워크를 개발하는 것.
• 사상이 목표 카테고리에서 온 추가 구조(장식)를 갖춘 코스팬인 장식된 코스팬 카테고리의 구성법을 체계화하는 것.
• 장식된 코스팬 카테고리가 자연스럽게 초그래프 카테고리로서의 구조를 지니며, 각 객체에 대해 특수한 가환 프로푸스 모노이드를 지닌다는 것을 보여주는 것.
• 장식된 코스팬 카테고리 간의 함자들이 이러한 초그래프 구조를 유지함으로써 합성 일관성을 보장하는 것.
• 전기 회로, 화학 반응, 기타 네트워크화된 구조와 같은 개방 시스템을 모델링하기 위한 범주론적 기초를 제공하는 것.

제안 방법

• 유한 코극한을 갖춘 카테고리 C의 객체를 갖는 장식된 코스팬 카테고리의 정의로, 사상은 C의 사상 X → N ← Y와 D의 브레이드된 심미터티카테고리에서의 원소 1 → FN로 장식된 코스팬이다.
• C의 코곱과 D의 텐서곱을 사용하여 장식된 코스팬 카테고리에 대칭 심미터티 구조를 구성하는 것.
• 코극한의 합성과 호환되도록, C에서 D로의 릿지 브레이드된 심미터티 함자 F: (C, +) → (D, ⊗)를 사용하여 코스팬의 정점에 장식을 할당하는 것.
• 각 객체에 특수한 가환 프로푸스 모노이드를 부여함으로써 결과 카테고리가 초그래프 카테고리임을 증명하는 것. 이는 장식 함자로부터 유도된다.
• 함자 간의 심미터티 자연 변환은 장식된 코스팬 카테고리 간의 강한 심미터티 함자를 유도하며, 초그래프 구조를 유지하는 것.
• 합성 법칙, 단위 법칙, 변환의 자연성에 관련된 협응 다이어그램을 통해 유도된 함자들의 심미터티성과 자연성을 검증하는 것.

실험 결과

연구 질문

• RQ1 어떻게 하면 라이트 브레이드된 심미터티 함자로부터, 유한 코극한을 갖는 카테고리와 브레이드된 심미터티카테고리 사이에서 대칭 심미터티카테고리를 체계적으로 구성할 수 있는가?
• RQ2 장식된 코스팬 카테고리는 자연스럽게 어떤 대수적 구조를 지니며, 이는 개방 시스템의 합성에 어떻게 기여하는가?
• RQ3 장식 함자 간의 심미터티 자연 변환이 장식된 코스팬 카테고리 간의 구조를 유지하는 함자를 어떻게 유도하는가?
• RQ4 원천 카테고리의 협응 지도와 단위 법칙은 장식된 코스팬 구성에 어떻게 번역되는가?
• RQ5 장식된 코스팬은 전기 회로나 화학 반응 네트워크와 같은 실제 세계의 네트워크 시스템을 합성적이고 대수적으로 일관된 방식으로 모델링할 수 있는가?

주요 결과

• 장식된 코스팬 카테고리는 사상이 브레이드된 심미터티카테고리 D의 원소로 장식된 코스팬인 대칭 심미터티카테고리이다.
• 장식된 코스팬 카테고리의 각 객체는 특수한 가환 프로푸스 모노이드를 지니며, 이로 인해 카테고리가 초그래프 카테고리가 된다.
• 구성은 심미터티 구조를 유지한다: 장식 함자 간의 강한 심미터티 함자는 장식된 코스팬 카테고리 간의 강한 심미터티 함자를 유도한다.
• 유도된 함자들의 자연성은 원래 심미터티 자연 변환의 자연성과 협응 다이어그램의 교환성에 기반한다.
• 함자 T에 의해 장식된 코스팬 카테고리에서의 항등 사상은 단위 및 협응 다이어그램의 교환성에 의해 유지된다.
• 전체 구성은 코극한 보존 및 협응 법칙과 호환되며, 이는 장식된 코스팬의 합성이 잘 정의되고 결합법칙을 만족함을 보장한다.