[논문 리뷰] Generalization of Algebraic Operations via Enrichment

Christina Vasilakopoulou|arXiv (Cornell University)|2014. 11. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 51인용 수 7

한 줄 요약

이 논문은 보편 측정 객체를 통해 강화 범주론과 분할 이론을 통합하는 개념인 강화 분할을 통해 대수적 구조를 일반화한다. 강화 이중 범주론과 이중 범주적 프레임워크를 사용하여, 단순하고 추상적인 설정에서 이중성을 형식화함으로써, 모노이드와 모듈의 범주가 보편 측정 객체를 통해 코모노이드와 코모듈의 이중 범주에 자연스럽게 강화된다는 것을 확립한다.

ABSTRACT

In this dissertation we examine enrichment relations between categories of dual structure and we sketch an abstract framework where the theory of fibrations and enriched category theory are appropriately united. We initially work in the context of a monoidal category, where we study an enrichment of the category of monoids in the category of comonoids under certain assumptions. This is induced by the existence of the universal measuring comonoid, a notion originally defined by Sweedler in vector spaces. We then consider the fibred category of modules over arbitrary monoids, and we establish its enrichment in the opfibred category of comodules over arbitrary comonoids. This is now exhibited via the existence of the universal measuring comodule, introduced by Batchelor. We then generalize these results to their `many-object' version. In the setting of the bicategory of V-enriched matrices, we investigate an enrichment of V-categories in V-cocategories as well as of V-modules in V-comodules. This part constitutes the core of this treatment, and the theory of fibrations and adjunctions between them plays a central role in the development. The newly constructed categories are described in detail, and they appropriately fit in a picture of duality, enrichment and fibrations as in the previous case. Finally, we introduce the concept of an enriched fibration, aimed to provide a formal description for the above examples. Related work in this direction, though from a different perspective and with dissimilar outcomes, has been realized by Shulman. We also discuss an abstraction of this picture in the environment of double categories, concerning categories of monoids and modules therein.

연구 동기 및 목표

• 강화 범주론과 분할 이론을 공통 프레임워크 안에서 통합하기.
• 보편 측정 객체를 통해 대수/모듈과 코대수/코모듈 간의 이중성을 일반화하기.
• 모노이드의 범주가 코모노이드의 범주에 강화되어 있음을 보이며, 모듈이 코모듈에 강화됨을 보편 측정 구조를 사용하여 확립하기.
• 관찰된 대수적 구조 내의 이중성과 강화 패턴을 포괄하는 추상적 강화 분할 이론 개발하기.
• 이러한 결과를 1-범주에서 V-강화 및 이중 범주적 설정으로 확장하여, 특히 V-행렬과 이중 범주 맥락에서 적용하기.

제안 방법

• 강화 구조를 유도하기 위해 기본 도구로 보편 측정 코모노이드(Sweedler, 1969)와 보편 측정 코모듈(Batchelor, 2000)를 사용한다.
• 모듈과 코모듈의 분할과 옵피브레이션을 모델링하기 위해 그로텐디크 구성과 색인 범주론을 적용한다.
• 다수의 대상 설정으로의 강화를 일반화하기 위해 V-강화 행렬의 이중 범주(Kelly & Laplaza, 1980) 내에서 작업한다.
• 강화 분할의 개념을 도입하여, 기저 범주의 모노이드 구조가 섬유에 강화된 구조로 올라가는 방식을 형식화한다.
• 이중 범주적 및 이중 범주론적 프레임워크를 사용하여, 모노이드, 코모노이드, 모듈, 코모듈 간의 상호작용을 모델링한다.
• 매개변수화된 수반과 분할 수반(레마 5.3.6 및 정리 5.3.7을 통한)을 활용하여 필요한 함자와 강화의 존재를 확립한다.

실험 결과

연구 질문

• RQ1 모노이드의 범주가 코모노이드의 범주에 자연스럽게 강화될 수 있는 조건은 무엇인가?
• RQ2 모듈이 코모듈에 강화될 수 있도록 하는 보편적 구조는 무엇이며, 이는 다양한 대수적 맥락으로 일반화될 수 있는가?
• RQ3 대수/모듈과 코대수/코모듈 간의 이중성은 단일한 분할적이고 강화된 범주론적 프레임워크 내에서 형식화될 수 있는가?
• RQ4 이중 범주나 이중 범주에서 분할된 모노이드가 코모노이드의 분할에 강화되기 위한 조건은 무엇인가?
• RQ5 보편 측정 코모듈과 코모노이드를 어떻게 활용하여 고차원 범주론 내에서 강화 분할의 일반 이론을 구성할 수 있는가?

주요 결과

• 모노이드 범주에서의 모노이드의 범주는 적절한 조건 하에서 보편 측정 코모노이드를 통해 코모노이드의 범주에 강화된다.
• 모노이드 위의 모듈의 전역 범주는 보편 측정 코모듈을 통해 코모노이드 위의 코모듈의 전역 범주에 강화된다.
• V-행렬의 이중 범주 내에서 V-범주들은 V-코코범주에 강화되며, V-모듈들은 V-코모듈에 강화되며, 강화 구조는 보편 측정 객체에 의해 유도된다.
• 매개변수화된 수반의 존재 시, 기저 범주 위의 모노이드 분할은 코모노이드의 모노이드 옵피브레이션에 강화되며, 이는 정리 8.2.15에 의해 형식화된다.
• 모노이드 위의 모듈 분할은 보편 측정 코모듈이 모노이드 단위를 포함하는 조건을 만족할 경우, 코모듈의 모노이드 옵피브레이션에 강화된다.
• 강화 분할의 추상적 프레임워크는 이중성, 강화, 분할을 통합하는 설정을 제공하며, 향후 V-오페레이드와 V-코오페레이드의 응용 가능성이 있다.