[논문 리뷰] Simple free star-autonomous categories and full coherence

Dominic Hughes|arXiv (Cornell University)|2005. 06. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 4

한 줄 요약

이 논문은 A-linking—증명 네트워크 정당성 기준을 만족하는 잎 함수로 정의된 사상—을 사용하여 범주 A 위의 자유 스타-자기쌍대 범주를 간단하고 조합론적으로 제시한다. 이는 Trimble 재배선에 관하여 모odulo된 것으로, 합성은 경로 합성으로 정의되며, 전체 일致성(코herency)이 달성된다: 표준 맵 다이어그램의 가환성은 유한한 재배선 등가성에 의해 결정 가능하여, 스타-자기쌍대 범주에서의 등식에 대한 구축 가능한 결정 절차를 제공한다.

ABSTRACT

This paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg-Kelly-MacLane graphs and Trimble rewiring, yielding a full coherence theorem: the commutativity of diagrams of canonical maps is decidable.

연구 동기 및 목표

• 범주 A에 의해 생성된 자유 스타-자기쌍대 범주의 단순하고 조합론적인 제시를 제공하기 위해.
• 표준 맵 다이어그램의 가환성 결정 가능성을 보여줌으로써 전체 일치성 수립하기 위해.
• 이전의 복잡한 자유 스타-자기쌍대 범주 구축을 경로 합성과 최소한의 동치 관계(재배선)로 단순화하기 위해.
• A-net(=A-linking modulo 재배선)의 범주가 A 위의 자유 스타-자기쌍대 범주와 동형임을 보여주기 위해.
• Eilenberg-Kelly-MacLane 그래프와 Int 구성법을 활용해 자유 스타-자기쌍대 범주에 대한 재배선 접근법을 통합 및 확장하기 위해.

제안 방법

• 사상은 A-linking으로 정의된다: 음성 잎에서 양성 잎으로의 함수로, 표준 다중성 증명 네트워크 정당성 기준을 만족하며, 선형 시간 내에 검증 가능하다.
• 합성은 잎 함수의 표준 경로 합성으로 정의되며, Eilenberg-Kelly-MacLane 그래프의 단순성을 유지한다.
• 링킹 간의 동치성은 Trimble 재배선을 통해 정의된다: 두 링킹이 음성 단위(I)에서 오는 한 개의 간선 차이를 보일 경우 유사하다고 하며, 동치성은 이 관계의 반사적, 대칭적, 추이적 폐쇄이다.
• A-net의 범주는 A-linking을 Trimble 재배선에 관하여 모odulo한 것으로, 경로 합성에 관하여 범주를 이룬다.
• 표준 회로 구성법은 각 링킹을 Int(Setp) 구성법 내의 회로로 매핑하며, 이 매핑을 통해 A-net과 회로-넷 사이의 전단사가 확립된다.
• 이 전단사의 함자성은 회로 내 컷 제거를 모방함으로써 증명되며, 복합 링킹이 표준 회로 매핑 하에서 복합 회로에 대응함을 보여, ( )n의 함자성 증명된다.

실험 결과

연구 질문

• RQ1 범주 A 위의 자유 스타-자기쌍대 범주는 링킹 함수와 경로 합성에 기반한 단순하고 조합론적인 구조로 제시될 수 있는가?
• RQ2 Trimble 재배선에 의해 유도된 동치 관계는 결정 가능하며, 이는 스타-자기쌍대 범주에 대한 전체 일치 정리로 이어지는가?
• RQ3 자유 스타-자기쌍대 범주 내의 사상 합성은 복잡한 재작성 규칙 없이 순수하게 경로 합성으로 정의될 수 있는가?
• RQ4 A-net(=A-linking modulo 재배선)의 범주는 A 위의 자유 스타-자기쌍대 범주의 보편 성질을 만족하는가?
• RQ5 삼중 쌍대 문제 및 기타 표준 다이어그램은 유한하고 구축 가능한 재배선 절차를 통해 가환성을 보일 수 있는가?

주요 결과

• A-net(=A-linking modulo Trimble 재배선)의 범주는 A에 의해 생성된 자유 스타-자기쌍대 범주와 동형이며, 이는 전체 일치 정리의 수립을 의미한다.
• 스타-자기쌍대 범주 내 표준 맵 다이어그램의 가환성은 재배선 등가성의 유한성과 검증 가능성으로 인해 결정 가능하다.
• ⊥⊗⊥에서의 항등 및 트위스트 맵은 서로 같지 않다. 이는 그들의 링킹이 상호 재배선이 불가능하기 때문이며, 일반적으로 id ≠ twist임을 보여준다.
• 삼중 쌍대 다이어그램은 가환한다. 삼각형 내 두 경로가 세 번의 연속된 재배선을 통해 등가이기 때문에, kA ⊸ id와 k(A⊸⊥)의 가환성이 직접적인 재배선으로 증명된다.
• 두 링킹 f;g의 복합체는 표준 회로 매핑 하에서 복합 회로와 정확히 일치한다. 이는 회로 내 컷 제거를 모방함으로써 증명되며, ( )n의 함자성 증명에 기여한다.
• 이 방법은 최소한의 구조로 전체 일치성을 달성한다: 사상은 단순한 함수이며, 합성은 경로 합성으로, 동치성은 단 하나의 국소적 재배선 규칙으로 정의된다.