[논문 리뷰] Many-valued complete distributivity

Hongliang Lai, Dexue Zhang|ArXiv.org|2006. 03. 25.

Advanced Algebra and Logic참고 문헌 31인용 수 15

한 줄 요약

이 논문은 교환법이 있고 단위원을 가진 쿠안탈(quantale) Ω에 대해 강화된 범주에서 다가치 완전 분배성의 성질을 조사하며, 고전적 완전 분배성의 일반화를 위해 범주론적 수반 관계를 사용한다. Ω가 교환법이 있는 기라르 쿠안탈(Girard quantale)일 경우, 완전 분배성 Ω-격자 사이의 오른쪽 수반 함자를 포함하는 범주 자체가 완전 분배성을 갖는다는 것을 증명하며, 임의의 집합에 대해 자유로운 완전 분배성 Ω-격자가 존재함을 보이며, 다가치 순서 이론에 대한 범주론적 기초를 제공한다.

ABSTRACT

Categories enriched over a commutative unital quantale can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid of categorical machineries, to establish theories of many-valued complete lattices, many-valued completely distributive lattices, and so on. This paper presents a systematical investigation of many-valued complete distributivity, including the topics: (1) subalgebras and quotient algebras of many-valued completely distributive lattices; (2) categories of (left adjoint) functors; and (3) the relationship between many-valued complete distributivity and properties of the quantale of truth values. The results show that enriched category theory is a very useful tool in the study of many-valued versions of order-related mathematical entities.

연구 동기 및 목표

• 범주론을 사용하여 고전적 격자에서의 완전 분배성 이론을 다가치적, 쿠안탈에 강화된 구조로 확장한다.
• 범주론적 수반 관계와 강화된 범주론적 기법을 통해 다가치 완전 분배성을 특성화한다.
• 다가치 완전 분배성 격자 맥락에서의 부분대수, 몫대수 및 함자 범주를 조사한다.
• 완전 분배성 성질이 성립하는 조건으로서 쿠안탈 Ω의 논리적 및 대수적 조건을 명확히 한다.

제안 방법

• Ω-범주에서 수반 함자가 존재하는 것으로 고전적 순서론적 개념—예를 들어 완전 분배성—을 재구성하기 위해 강화된 범주론을 사용한다.
• 완전 분배성을 범주론적 보편 성질로 특성화하기 위해 양화자 임bedding과 그 수반을 적용한다.
• 예비층 범주(presheaf category)의 쌍대를 통해 자유로운 완전 분배성 Ω-격자를 구성한다: F(X) = [[Ω^X], Ω]^op.
• 함자 범주 [Ω, Ω]에서의 텐서 및 코텐서 연산을 사용하여 함의 및 부정과 관련된 항등식을 도출하며, 기라르 쿠안탈의 특성화로 이어진다.
• Ω가 교환법이 있는 기라르 쿠안탈일 경우, 두 완전 분배성 Ω-격자 사이의 오른쪽 수반 함자 범주는 자체적으로 완전 분배성을 갖는다.
• 수반 함자 정리와 목적 범주의 완비성을 사용하여 자유 구조를 통한 유일한 인수분해가 존재함을 증명한다.

실험 결과

연구 질문

• RQ1 쿠안탈 Ω가 어떤 조건을 만족할 경우, 완전 분배성 Ω-격자 사이의 오른쪽 수반 함자 범주는 자체적으로 완전 분배성을 갖는가?
• RQ2 쿠안탈 Ω가 어떤 조건을 만족할 경우, 집합에 의해 생성되는 자유로운 완전 분배성 Ω-격자가 존재하는가?
• RQ3 강화된 범주론을 사용하여 고전적 완전 분배성의 순서론적 성질을 다가치적 맥락으로 어떻게 일반화할 수 있는가?
• RQ4 다가치 완전 분배성 맥락에서 쿠안탈 Ω가 교환법이 있는 기라르 쿠안탈임을 의미하는 논리적 의의는 무엇인가?
• RQ5 기라르 쿠안탈을 특성화하는 항등식 α = (α → 0) → 0과 동치가 되는 Ω의 대수적 성질은 무엇인가?

주요 결과

• Ω가 교환법이 있는 기라르 쿠안탈일 경우, 두 완전 분배성 Ω-격자 사이의 오른쪽 수반 함자 범주는 자체적으로 완전 분배성 Ω-격자가 된다.
• 임의의 집합 X에 대해, Ω가 교환법이 있는 기라르 쿠안탈일 경우 자유로운 완전 분배성 Ω-격자 F(X) = [[Ω^X], Ω]^op 가 존재한다.
• F(X)의 구성은 X에서 완전 분배성 Ω-격자로의 모든 함수가 F(X)에서 완전 격자 준동형으로 유일하게 확장됨을 보장한다.
• 쿠안탈 Ω에서 항등식 α = (α → 0) → 0가 성립하는 것은 Ω가 교환법이 있는 기라르 쿠안탈임과 필요충분조건이다. 이는 이론에 필요한 쿠안탈 구조를 특성화한다.
• 모든 A가 완전 분배성 Ω-격자일 경우, 예비층 범주 [A^op, Ω]^op의 쌍대는 완전 분배성을 유지하며, 이는 대칭성에 의해 구조가 보존됨을 의미한다.
• 자유 구조 F(X)를 통해 Ω-격자 범주에서 Set으로의 잊혀진 함자에 대한 왼쪽 수반 함자가 존재함을 증명하며, 자유 대상의 존재를 확인한다.