[논문 리뷰] Completely distributive enriched categories are not always continuous

Hongliang Lai, Dexue Zhang|arXiv (Cornell University)|2019. 08. 03.

Advanced Algebra and Logic참고 문헌 28인용 수 5

한 줄 요약

이 논문은 연속 t-norm을 갖는 단위구간 위의 양자일-풍부한 범주에서 완전 분배성은 연속성을 함의하지 않음을 보여준다. 이는 순서론의 고전적 사례와는 반대로, 핵심 결과는 함의 연산이 대각선 외부에서 연속일 때에만 연속성이 성립하며, 이는 t-norm의 구조와 전방 코시 무게에 대한 수반 조건을 정확히 규명한 것이다.

ABSTRACT

In contrast to the fact that every completely distributive lattice is necessarily continuous in the sense of Scott, it is shown that complete distributivity of a category enriched over the closed category obtained by endowing the unit interval with a continuous t-norm does not imply its continuity in general. Necessary and sufficient conditions for the implication are presented.

연구 동기 및 목표

• 양자일 Q = ([0,1], &, 1)에서의 양자일-풍부한 범주에서 완전 분배성이 연속성을 함의하는지 여부를 조사함. 이는 랏스에 대한 고전적 결과를 일반화하기 위함이다.
• 완전 분배성이 [0,1]-풍부한 범주에서 연속성을 함의하는 데 필요한 연속 t-norm의 정확한 조건을 규명함.
• 전방 코시 무게와 그 수반 구조가 풍부한 범주론에서 연속성을 결정하는 데서 수행하는 역할를 명확히 함.
• 명확한 이원론을 수립함: 함의 연산의 대각선 외부에서의 연속성은 함의가 성립하기 위해 필수적이고 충분한 조건이다.

제안 방법

• Q = ([0,1], &, 1)에서의 풍부한 범주론을 사용함. 여기서 &는 연속 t-norm이다.
• 전방 코시 무게를 부분순서집합에서의 아이디얼의 일반화로 정의하고, 이를 무게의 범주 CA로 구성함.
• 수반 사슬 조건을 적용함: tA ⊣ supA ⊣ eA : A → CA 를 통해 풍부한 설정에서의 연속성을 정의함.
• 멱등 원소와 국소 t-norm 동형(예: Łukasiewicz 또는 곱 t-norm)의 구조를 활용하여 함의 행동을 분석함.
• 연속 t-norm의 순서 합 분해를 사용하여 반례를 구성하고 등가 조건을 증명함.
• 완전 Q-범주에서 CA의 코텐서 및 만족 조건을 이용하여 수반 존재성을 유도함.

실험 결과

연구 질문

• RQ1 연속 t-norm &를 갖는 ([0,1], &, 1) 위의 Q-범주에서 완전 분배성이 연속성을 함의하는가?
• RQ2 &의 어떤 구조적 조건이 모든 완전 분배성 Q-범주가 연속성을 갖기 위한 필요 및 충분 조건인가?
• RQ3 함의 연산 →: [0,1]² → [0,1] 이 대각선 외부에서 모든 점에서 연속일 때, 완전 분배성이 연속성을 함의하는가?
• RQ4 전방 코시 무게의 포함사상 CA → PA 가 왼쪽 수반을 갖는가?
• RQ5 연속 Q-범주의 기저 순서에서 코텐서 연산 p ⊸ − 는 스코트 연속성인가?

주요 결과

• 임의의 연속 t-norm에 대해 ([0,1], &, 1) 위의 Q-범주에서 완전 분배성은 연속성을 함의하지 않는다.
• 함의 연산 → 가 대각선 외부에서 연속일 때이고, 오직 그 때에만 모든 완전 분배성 Q-범주가 연속성을 갖는다.
• 만약 t-norm 가 어떤 구간 [a⁻, a⁺]에서 Łukasiewicz t-norm로 제한된다면, ([0,1], dL) 는 연속적이지 않으며, 이는 반례가 된다.
• 포함사상 CA → PA 가 왼쪽 수반을 갖는다 ↔ 함의 연산 → 가 대각선 외부에서 연속이다.
• 아르키메데스 t-norm(곱 또는 Łukasiewicz)에 대해, [0,p)에서 p → − 의 연속성은 CA 내의 코텐서 존재성과 동치이다.
• 연속성이 성립하기 위해 양자일 ([a⁻, a⁺], &, a⁺) 는 곱 t-norm ([0,1], &P, 1) 와 동형이어야 하며, Łukasiewicz t-norm 와는 동형이 아니어야 한다.