[논문 리뷰] Enriched indexed categories

Michael Shulman|arXiv (Cornell University)|2012. 12. 17.

Homotopy and Cohomology in Algebraic Topology참고 문헌 24인용 수 20

한 줄 요약

이 논문은 유한 곱을 갖는 기저 범주 위에서 인덱싱되어 있고, 인덱싱된 모나드 범주 위에서 강화된 범주인 강화된 인덱스 범주를 도입한다. 이러한 범주에서 극한과 쌍극한의 형식적 이론을 개발하고, 요네다 매bedding를 확립하며, 이러한 범주가 자유 쌍극한을 갖는다는 것을 보여주어, 고전적인 강화된, 내부적이고, 인덱스 범주 이론을 하나의 일관된 프레임워크 안에 통합한다.

ABSTRACT

We develop a theory of categories which are simultaneously (1) indexed over a base category S with finite products, and (2) enriched over an S-indexed monoidal category V. This includes classical enriched categories, indexed and fibered categories, and internal categories as special cases. We then describe the appropriate notion of "limit" for such enriched indexed categories, and show that they admit "free cocompletions" constructed as usual with a Yoneda embedding.

연구 동기 및 목표

• 강화된, 내부적이고, 인덱스 범주 이론의 고전적 이론들을 하나의 강화된 인덱스 범주 프레임워크로 통합하기.
• 강화된 인덱스 범주에서 가중 극한과 섬유화된 쌍극한을 모두 일반화하는 극한과 쌍극한의 개념을 정의하기.
• 고전적인 쌍극한 구성의 일반화로, 요네다 매bedding를 사용하여 강화된 인덱스 범주의 자유 쌍극한을 구성하기.
• 매개변수화된 호모토피 이론, 등변 호모토피 이론, 토포스 기반 수학에 응용하기 위한 형식적 범주론적 기초 제공하기.
• 강화된 인덱스 범주가 고전적인 강화된 범주론과 유사한 풍부한 범주론을 지닐 수 있음을 보여주며, 프로파일러 및 가상 장비와 같은 형식적 도구를 포함하기.

제안 방법

• 기저 범주 $\mathcal{S}$가 유한 곱을 갖는 바탕 위에서 인덱싱되고, $\mathcal{S}$-인덱싱된 모나드 범주 $\mathcal{V}$ 위에서 강화된 범주로 강화된 인덱스 범주를 형식화하기.
• 가중 극한과 쌍극한을 형식적으로 일관되게 정의하기 위해 가상 장비와 프로파일러의 프레임워크를 사용하기.
• 자유 쌍극한을 프레시피어 범주로 표현하기 위해 강화된 인덱스 범주에 대한 요네다 매bedding를 구성하기.
• 특히 숄만의 프레임워크 이중 범주와 프로화살표 장비에 기반한 기존의 형식적 범주론 도구를 활용하기 위해, 인덱싱된 모나드 범주에서 출발하기.
• 코스모스의 변화와 기저 인덱싱 범주를 정의하여 다양한 강화와 일반화를 연결하기.
• 반복적 강화와 고차원 구조를 지원하기 위해 $\mathcal{V}$-섬유화와 모나드 $\mathcal{V}$-범주를 도입하기.

실험 결과

연구 질문

• RQ1 강화된, 내부적이고, 인덱스 범주가 어떻게 하나의 범주론적 프레임워크로 통합될 수 있는가?
• RQ2 동시에 인덱싱되고 강화된 범주에서 극한과 쌍극한의 적절한 개념은 무엇인가?
• RQ3 고전적인 강화된 범주론과 유사하게, 요네다 매bedding를 사용하여 강화된 인덱스 범주의 자유 쌍극한을 구성할 수 있는가?
• RQ4 프로파일러와 가상 장비의 형식적 도구는 강화된 인덱스 범주 설정으로 어떻게 확장되는가?
• RQ5 이 이론의 적용은 매개변수화된 또는 등변 호모토피 이론에서 어떻게 나타나며, 강화된 인덱스 설정에서 어떻게 나타나는가?

주요 결과

• 강화된 인덱스 범주는 고전적인 강화된, 내부적이고, 인덱스 범주를 일반화하여 매개변수화된 또는 상대적인 설정에서의 범주론을 위한 통합된 프레임워크를 제공한다.
• 이 이론은 가중 극한과 쌍극한의 형식적 개념을 지닐 수 있으며, 고전적인 강화된 범주론을 인덱싱 및 강화된 맥락으로 확장한다.
• 강화된 인덱스 범주의 자유 쌍극한이 존재하며, 프레시피어 범주로의 요네다 매bedding를 통해 구성되며, 고전적 경우와 유사하다.
• 강화된 인덱스 범주 위의 $\mathcal{V}$-프레시피어의 범주는 자유 쌍극한을 이루며, 요네다 매bedding는 완전한 충실성과 쌍극한 보존성을 갖는다.
• 가상 장비와 프로파일러를 사용하여 이 이론이 형식화되어, 범주론적 개념의 체계적이고 일반적인 구성이 가능해진다.
• 응용 분야로는 매개변수화된 호모토피 이론, 등변 호모토피 이론, 토포스 기반 수학이 있으며, 이러한 범주는 자연스럽게 매개변수화되거나 전역적인 구조의 모델로 나타난다.