[논문 리뷰] Realizability in OCAs and AKSs

Walter Ferrer Santos, Mauricio Guillermo외 1명|arXiv (Cornell University)|2015. 12. 24.

Atrial Fibrillation Management and Outcomes참고 문헌 5인용 수 3

한 줄 요약

이 논문은 순서형 조합론적 대수(OCAs)와 추상 크리브네 구조들(AKSs)에서 새로운 닫힘 연산자와 관련 맵을 도입하여 응용과 함의 연산 간의 완전한 수반 관계를 가능하게 한다. 새로운 OCA인 $\mathcal{A}_{\mathcal{K},\bullet}$를 구성함으로써 이전의 구성들보다 더 강력한 수반 성질을 달성하여 AKS들로부터 트리포스를 더 단순하고 직접적으로 유도할 수 있게 되었으며, 이는 크리브네의 고전적 실현 가능성의 더 깔끔한 범주론적 실현을 제공한다.

ABSTRACT

In the context of the $\mathcal{OCA}$ associated to an ${\mathcal{AKS}}$ we introduce a closure operator and two associated maps that replace the closure and the maps defined in \cite{kn:ocar}. We were motivated by the search of a full adjunction to the original implication map. We show that all the constructions from $\mathcal{OCA}$s to triposes developped in \cite{kn:ocar} can be also implemented in the new situation.

연구 동기 및 목표

• 이전의 실현 가능성 구성들에서 응용과 함의 간의 완전한 수반 관계가 부족한 문제를 해결하기 위해.
• 실현 가능성 구조의 범주론적 행동을 향상시키기 위해 새로운 닫힘 연산자와 관련 맵을 개발하기 위해.
• 응용과 함의 간의 완전한 수반 관계를 보장하기 위해 '수반자(term)'라는 특수한 항을 사용하여 AKS에서 새로운 OCA인 $\mathcal{A}_{\mathcal{K},\bullet}$를 구성하기 위해.
• 이 새로운 OCA가 이전 방법들로부터 도출된 것들과 동치인 트리포스를 유도함으로써 고전적 실현 가능성의 범주론적 실현을 단순화하기 위해.
• OCAs에서 트리포스로의 표준적 구성 경로가 개선된 구조적 성질을 유지하면서 재현될 수 있는 프레임워크를 제공하기 위해.

제안 방법

• OCAs에 새로운 닫힘 연산자 $(-)\,\widehat{}$와 유계 곱 $\sharp$를 도입하여 [5]에서 사용된 원래의 닫힘 연산자와 맵들을 대체하기 위해.
• 극성과 닫힘 연산자를 사용하여 실현 가능성 격자를 정의하며, 이는 이중 수직선과 새로운 $(-)\,\widehat{}$ 연산자를 포함한다.
• 응용과 함의 유사 연산 간의 수반 행동을 더 잘 포착하기 위해 세 쌍의 도우미 및 푸시 연산을 도입한다.
• 특정 '수반자' 항을 사용하여 응용과 함의 간의 완전한 수반 관계를 회복하는 새로운 OCA $\mathcal{A}_{\mathcal{K},\bullet}$를 정의한다.
• AKS $\mathcal{K}$에서 색인된 전순서 $\mathbf{P}_{\bullet}(\mathcal{K})$를 구성하고, 이가 $\mathbf{P}(\mathcal{A}_{\mathcal{K},\bullet})$와 동형임을 보인다.
• 관련 다이어그램의 가환성(등가를 포함한)을 이용하여 $\mathcal{A}_{\mathcal{K},\bullet}$에서 도출된 트리포스와 이전 방법들에서 도출된 트리포스 간의 등가성을 증명한다.

실험 결과

연구 질문

• RQ1 외부 가정에 의존하지 않고 실현 가능성 구조에서 응용과 함의 간의 완전한 수반 관계를 달성할 수 있는가?
• RQ2 OCAs의 닫힘 연산자와 맵들을 어떻게 재정의하여 수반 행동을 향상시킬 수 있는가?
• RQ3 완전한 수반 관계를 갖는 직접적인 트리포스 구성이 가능하도록 하기 위해 AKS나 OCA에서 어떤 구조적 변화가 필요한가?
• RQ4 새로운 OCA $\mathcal{A}_{\mathcal{K},\bullet}$는 도출된 트리포스 측면에서 기존의 구성들과 동치인가?
• RQ5 범주론적 성질을 개선하면서도 OCAs에서 트리포스로의 표준 경로를 유지할 수 있는가?

주요 결과

• 새로운 닫힘 연산자 $(-)\,\widehat{}$와 관련 맵들은 [5]와 [13]에서 사용된 이중 수직선 구성보다 더 잘 행동하는 대안을 제공한다.
• 새로운 OCA인 $\mathcal{A}_{\mathcal{K},\bullet}$에 '수반자' 항을 도입함으로써 응용과 함의 간의 완전한 수반 관계가 가능해졌으며, 이는 이전 구성들에서의 핵심 한계를 해결한다.
• AKS $\mathcal{K}$에서 도출된 트리포스 $\mathbf{P}_{\bullet}(\mathcal{K})$는 새로운 OCA에서 도출된 트리포스 $\mathbf{P}(\mathcal{A}_{\mathcal{K},\bullet})$와 동형이므로 등가성이 확립된다.
• $\mathcal{A}_{\mathcal{K},\bullet}$에서 트리포스를 구성하는 방식은 [5]에서의 경로와 동일하지만, 향상된 수반 관계 덕분에 더 강력한 범주론적 성질을 갖게 되었다.
• 표준 포함 사상 $\mathbf{P}_{\bullet}(\mathcal{K}) \hookrightarrow \mathbf{P}(\mathcal{K})$는 색인된 전순서 간의 등가이며, 이는 표준 실현 가능성 의미론과의 일관성을 확인한다.
• 구성 다이어그램은 등가를 포함한 가환성을 보이며, 이는 $\mathbf{P}(\mathcal{A})$와 $\mathbf{P}(\mathcal{A}_{\mathcal{K}_{\mathcal{A}\bullet}\bullet})$가 동치인 트리포스임을 보장한다.