확률적 거리공간을 통한 양자화 풍부 범주론의 완비와 지수성 연구

초록

본 논문은 양자(quantale) 위에 정의된 풍부 범주(V‑Cat)의 코시 완비와 지수성을 조사하고, 특히 확률적 거리공간(Probabilistic Metric Spaces)을 V‑Cat의 한 사례로 삼아 전통적 거리론과 범주론 사이의 대응을 명확히 한다.

상세 분석

이 논문은 먼저 양자 V=(V,⊗,k)의 기본 성질을 정리하고, V‑카테고리 X=(X,a) 를 “거리” a:X×X→V 로 보는 관점을 제시한다. V‑함수자와 V‑모듈(프로피니터) 사이의 이중성, 특히 모듈 ϕ:X⇸Y 가 V‑함수자 Xᵒᵖ⊗Y→V 로 동형인 점을 이용해 Yoneda 사상 y_X:X→