[논문 리뷰] Introduction to Ann-categories

Tien Quang Nguyen|ArXiv.org|2007. 02. 20.

Rough Sets and Fuzzy Logic참고 문헌 1인용 수 17

한 줄 요약

이 논문은 두 개의 상호작용 가능한 모나이드 구조를 지닌 카테고리—즉, 링 연산과 유사한 Ann-카테고리—를 도입하고 그 구조에 대한 기본 결과를 수립한다. 이는 Ann-카테고리가 Pic-함수자기의 카테고리에 의해 사실상 엄격한 Ann-카테고리로 충실하게 통합될 수 있음을 증명함으로써, 대수적 구조에서 링과 유사한 범주론적 프레임워크를 제공한다.

ABSTRACT

In this paper, we present new concepts of Ann-categories, Ann-functors, and a transmission of the structure of categories based on Ann-equivalences. We build Ann-category of Pic-funtors and prove that each Ann-category can be faithfully embedded into an almost strictly Ann-category.

연구 동기 및 목표

• 두 개의 상호작용 가능한 모나이드 연산을 사용하여 링과 유사한 구조를 형식화하는 범주론적 프레임워크를 정의하기.
• 범주론적 링과 링 준동형사상의 이중적 대응체로 Ann-카테고리, Ann-함수자기, Ann-동치를 정의하기.
• Ann-카테고리의 제약 조건을 엄격화할 수 있는 구조 이행 정리 수립하기.
• 모든 Ann-카테고리가 사실상 엄격한 Ann-카테고리로 충실하게 통합될 수 있음을 증명하기.
• 범주적 불변량을 사용한 Ann-카테고리의 코homological 분류를 위한 기초 마련하기.

제안 방법

• 두 개의 이항함수 ⊕와 ⊗를 지닌 카테고리로 Ann-카테고리를 정의하고, 결합성, 항등원, 분배법칙과 유사한 조건을 만족하는 자연동형사상으로 구성된 조건을 만족시키기.
• Composition과 텐서곱에 대한 자연동형사상이 갖춘 $\mathrm{End}(\mathcal{A})$ 라는 Pic-함수자기의 카테고리 $F: \mathcal{A} \to \mathcal{A}'$ 를 도입하기.
• 영 대상, 항등원 대상, 교환성 동형사상 $c^*$, 왼쪽 분배법칙 $\mathcal{L}^*$ 를 정의하여 $\mathrm{End}(\mathcal{A})$ 에 사실상 엄격한 Ann-카테고리의 구조를 구성하기.
• 각 대상 $A$ 를 왼쪽 곱셈 함수자기 $L^A$ 로 보내는 함수자기 $\Lambda: \mathcal{A} \to \mathrm{End}(\mathcal{A})$ 를 정의하고, 자연동형사상 $\breve{\Lambda}$ 와 $\widetilde{\Lambda}$ 를 제공하기.
• $\Lambda$ 가 충실한 Ann-함수자기임을 증명하여 $\mathcal{A}$ 가 $\mathrm{End}(\mathcal{A})$ 에 통합됨을 확립하기.
• Ann-동치와 통합의 조합을 통해 어떤 Ann-카테고리도 제약 조건이 완전히 엄격한(교환성 제외) 사실상 엄격한 Ann-카테고리와 동치임을 보여주기.

실험 결과

연구 질문

• RQ1 두 개의 상호작용 가능한 모나이드 연산(즉, 링의 덧셈과 곱셈과 유사한)을 지닌 범주적 구조를 어떻게 공리화할 수 있는가?
• RQ2 Ann-카테고리가 더 엄격한 구조적 조건을 지닌 카테고리로 통합될 수 있도록 보장하는 조건은 무엇인가?
• RQ3 Ann-카테고리의 엄격화된 형태에서 교환성 제약 조건이 어떻게 자명해지는가?
• RQ4 모든 Ann-카테고리가 연산이 엄격하게 결합 및 항등원을 갖는 함수자기의 카테고리로 통합될 수 있는가?
• RQ5 Pic-함수자는 Ann-카테고리의 보편 통합을 구성하는 데 어떤 역할을 하는가?

주요 결과

• $\mathcal{A}$ 의 Pic-함수자기의 카테고리 $\mathrm{End}(\mathcal{A})$ 는 잘 정의된 영 대상, 항등원 대상, 교환성 제약 조건, 분배법칙 제약 조건을 지닌 사실상 엄격한 Ann-카테고리로 구성된다.
• $A \mapsto L^A$ 를 정의하는 함수자기 $\Lambda: \mathcal{A} \to \mathrm{End}(\mathcal{A})$ 는 충실한 Ann-함수자기이며, $\mathcal{A}$ 를 $\mathrm{End}(\mathcal{A})$ 에 통합한다.
• 모든 Ann-카테고리는 Ann-동치를 통해 $\oplus$ 에 대해 AU-엄격한 제약 조건을 지닌 Ann-카테고리와 동치이다.
• Ann-카테고리가 사실상 엄격한 Ann-카테고리로 통합될 수 있음은 그 교환성 제약 조건이 $c_{X,X} = \mathrm{id}$ 를 만족할 때에만 가능하다.
• 목표 카테고리에서의 제약 조건의 엄격성은 최대이다: 만약 모든 제약 조건이 교환성 이외에 엄격하다면, 원래 카테고리에서도 $c_{X,X} = \mathrm{id}$ 가 성립해야 한다.
• $\Lambda$ 의 통합은 자연동형사상 $\widetilde{\Lambda}_{A,B} = a^{-1}_{A,B,-}$ 와 $\breve{\Lambda}_{A,B} = \mathcal{R}_{A,B,-}$ 를 사용하여 구성되며, 이는 Ann-함수자기의 요구 조건을 만족하는 공리화 조건을 충족시킨다.