[논문 리뷰] Categorical structures enriched in a quantaloid: regular presheaves, regular semicategories

Isar Stubbe|ArXiv.org|2004. 09. 24.

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

한 줄 요약

이 논문은 양자모드로 부가된 카테고리의 맥락에서 정규 프레시브와 정규 반카테고리의 개념을 도입하며, 카테고리로의 모리타 동치를 일반화한다. 정규 반카테고리 위의 정규 프레시브는 전체 프레시브 카테고리의 본질적 (코)로컬라이제이션을 이룬다. 또한 정규 반분포도를 통한 모리타 동치를 증명하여, 모든 정규 반카테고리가 카테고리와 동치가 아니라는 것을 보여준다.

ABSTRACT

We study presheaves on semicategories enriched in a quantaloid: this gives rise to the notion of regular presheaf. A semicategory is regular when its representable presheaves are regular, and its regular presheaves then constitute an essential (co)localization of the category of all of its presheaves. The notion of regular semidistributor allows to establish the Morita equivalence of regular semicategories. Continuous orders and Omega-sets provide examples.

연구 동기 및 목표

• 대칭 모나드 카테고리에서의 정규 모듈러와 프레시브 이론을 양자모드로 부가된 반카테고리로 일반화하기 위해.
• 표현 가능한 프레시브가 표본의 합으로 표현되는 반카테고리 위에서 정규 프레시브를 정의하고 연구하기 위해.
• 정규 반분포도를 사용하여 정규 반카테고리에 대해 모리타 유형의 동치를 확립하기 위해.
• 모든 정규 반카테고리가 카테고리와 모리타 동치가 아니라는 점을 보여주어, 반카테고리가 카테고리와 본질적으로 다름을 밝히기 위해.
• 연속 순서와 Ω-집합에 영감을 받은, 양자모드에 대한 층의 카테고리적 프레임워크를 제공하기 위해.

제안 방법

• 카테고리의 일반화로 양자모드 Q에 부가된 반카테고리를 사용한다.
• 표현 가능한 프레시브의 합으로 자연스럽게 표현 가능한 것을 정규 프레시브로 정의한다.
• 요나다 반함수를 도입하고, 표현 가능한 것과의 호모모르피즘을 통해 값을 복원하는 프레시브를 요나다 프레시브로 식별한다.
• 프레시브 카테고리 P𝒜를 정규 프레시브의 전체 부분카테고리 R𝒜로 (코)로컬라이제이션한다.
• 정규 반분포도를 정의하여 정규 반카테고리 간의 사상으로서 모리타 동치를 유도한다.
• 양자모드의 코시 완비화를 적용하여, Idm(Matr(𝒬))가 양자모드의 2-카테고리 내에서 𝒬의 코시 완비화임을 보여준다.

실험 결과

연구 질문

• RQ1 정규 프레시브 이론을 대칭 모나드 카테고리에서 양자모드로 부가된 반카테고리로 어떻게 확장할 수 있는가?
• RQ2 어떤 조건이 반카테고리 위의 모든 표현 가능한 프레시브가 정규임을 보장하며, 그러한 반카테고리는 어떤 구조를 갖는가?
• RQ3 정규 반분포도를 사용하여 모리타 동치를 반카테고리로 어떻게 일반화할 수 있는가?
• RQ4 반카테고리에서는 요나다 보조정리가 존재하지 않기 때문에, 요나다 반함수의 역할은 무엇인가?
• RQ5 모든 정규 반카테고리가 카테고리와 모리타 동치인가, 아니면 더 큰 클래스를 이룬다?

주요 결과

• 정규 반카테고리 𝒜 위의 정규 프레시브는 전체 프레시브 카테고리 P𝒜의 본질적 (코)로컬라이제이션인 전체 부분카테고리 R𝒜를 이룬다.
• 로컬라이제이션의 오른쪽 수반의 이미지는 요나다 프레시브의 카테고리 Y𝒜이다.
• 정규 𝒬-반카테고리 𝒜와 ℬ 사이에 모리타 동치가 성립하는 것은 정규 반분포도의 양자모드 카테고리에서 𝒜와 ℬ가 서로 동형일 때에만 성립한다.
• 모든 정규 𝒬-반카테고리가 𝒬-카테고리와 모리타 동치인 것은 아니며, 이는 카테고리와의 본질적 차이를 보여준다.
• 소형 양자모드 𝒬의 코시 완비화는 2-카테고리인 양자모드의 카테고리에서 Idm(Matr(𝒬))로 주어지며, 이는 절대 (코)극한을 모두 갖는다.
• Ω-집합의 경우, 정규 프레시브는 정확히 Ω-부분집합과 일치하며, 이는 이 이론이 국소 위상공간의 층 이론과 연결됨을 보여준다.