볼록 집합의 이중성 및 양자 효과 대수와의 연결

초록

이 논문은 분포 모나드의 대수로서 볼록 집합을 범주론적으로 연구한다. 볼록 집합이 두 개의 서로 다른 이중 적합(adjunction) 구조를 가짐을 보이며, 하나는 불리언 진리값 {0,1}을 이용한 프리프레임과, 다른 하나는 실수 구간

상세 분석

논문은 먼저 분포 모나드 𝔻를 정의하고, 이 모나드의 대수(algebra)가 바로 전통적인 의미의 볼록 집합임을 보인다. 𝔻‑대수는 확률적 가중합을 내부 연산으로 갖는 집합으로, 전통적인 아핀 결합 연산을 일반화한다. 저자는 이 구조를 이용해 두 개의 서로 다른 대수적 반대(dual) 범주와의 적합을 구축한다. 첫 번째는 Boolean truth values {0,1}을 이용한 프리프레임(preframe) 범주와의 이중 적합이다. 여기서 프리프레임은 완비 격자와는 달리 무한 합을 허용하는 구조이며, {0,1}을 대칭 객체로 삼음으로써 볼록 집합의 “논리적” 측면을 포착한다. 두 번째는 실수 구간