[논문 리뷰] Cartesian Double Categories with an Emphasis on Characterizing Spans

Evangelia Aleiferi|arXiv (Cornell University)|2018. 09. 18.

Rough Sets and Fuzzy Logic참고 문헌 27인용 수 5

한 줄 요약

이 논문은 이중 범주 이론의 엄밀한 2-범주적 구조를 활용하여 이중 범주 이론의 기술적 문제를 간소화하는 Cartesian 이중 범주를 도입한다. 이는 Cartesian 이중 범주로서의 스펙트럼 이중 범주를 특성화하고, 이와 유사하게 프로파일러를 특성화하는 기초를 마련한다. 이로써 스펙트럼 위의 모듈러 이론이 자연스럽게 이 설정으로 확장됨을 보여준다.

ABSTRACT

In this thesis, we introduce Cartesian double categories, motivated by the work of Carboni, Kelly, Walters, and Wood on Cartesian bicategories. Moving from bicategories to the slightly more generalized notion of double categories allows us to set the whole theory inside the welcoming 2-category of double categories, and to overcome technical problems that were caused by working with left adjoints inside a general bicategory. Cartesian double categories that are also fibrant are of particular interest to us. After describing some important properties of Cartesian and fibrant double categories, we give a characterization of the double category of Spans as a Cartesian double category. Lastly, we talk about profunctors and give a potential framework for their characterization as Cartesian double categories.

연구 동기 및 목표

• 이중 범주로의 전환을 통해 Cartesian 범주 이론의 더 구조적이고 기술적으로 다룰 수 있는 프레임워크를 개발하기 위해.
• 이중 범주가 제공하는 엄밀한 2-범주적 구조를 활용하여, 특히 릿지 함수와 릿지 함자에 관련된 기술적 장애물을 극복하기 위해.
• 이전의 이분기적 결과를 일반화하여, 유한한 곱을 갖는 범주 위의 스펙트럼 이중 범주가 Cartesian 이중 범주임을 특성화하기 위해.
• 프로파일러를 Cartesian 이중 범주로서 특성화하기 위한 기초를 마련하기 위해, 스펙트럼 위의 모듈러 이론을 확장하기 위해.
• 고차원 범주론의 기초 구조로서 Cartesian 이중 범주의 잠재력을 탐색하고, 고전적인 Cartesian 범주 성질(예: 대칭 모나드 구조와 대각선 및 쌍대단위 사상)의 일반화 가능성을 탐색하기 위해.

제안 방법

• DblCat의 엄밀한 2-범주적 구조를 활용하여, 이중 범주와 그 곱(대각선 및 단위 함수) 사이의 수반 관계를 통해 Cartesian 이중 범주를 정의한다.
• Cartesian 구조에 필요한 보편 성질과의 호환성을 보장하기 위해, 이중 범주에서의 fibrant 이중 범주를 도입한다.
• 이중 범주 맥락에서 Grothendieck 구성법을 활용하여 수평 이분기 범주와 기저 범주 간의 관계를 분석한다.
• Eilenberg-Moore 객체와 tabulator를 활용하여 이중 범주 내에서 보편 성질을 분석하고 구성한다.
• 스펙트럼 이중 범주에 대한 보편 성질을 확보하기 위해, C: Span(D₀) → D 라는 함자를 정의하고, Beck-Chevalley 조건을 만족시키는 것으로 스펙트럼 이중 범주의 특성화를 수행한다.
• D가 Cartesian 이중 범주이면 Mod(D)도 Cartesian 이중 범주임을 보여줌으로써, 모듈러 이론과 프로파일러 이론을 확장한다.

실험 결과

연구 질문

• RQ1 이중 범주로의 일반화를 통해, 릿지 함자와 왼쪽 수반에 관련된 기술적 문제를 어떻게 간소화할 수 있는가?
• RQ2 Cartesian 이중 범주의 프레임워크 내에서 스펙트럼 이중 범주의 보편 성질은 무엇인가?
• RQ3 유한한 완비성을 갖는 범주 위의 프로파일러 이중 범주는 Cartesian 이중 범주로 특성화될 수 있는가?
• RQ4 Cartesian 이중 범주 위의 모듈러 이중 범주가 Cartesian임을 보장하는 조건은 무엇인가?
• RQ5 고전적인 Cartesian 범주 성질(예: 대각선과 쌍대단위 사상이 존재하는 대칭 모나드)이 이중 범주 설정으로 얼마나 일반화될 수 있는가?

주요 결과

• 유한한 곱을 갖는 범주 위의 스펙트럼 이중 범주는, Beck-Chevalley 조건을 만족하는 함자 C: Span(D₀) → D 를 구성함으로써 Cartesian 이중 범주임을 보였다.
• Fibrant Cartesian 이중 범주는 보편 성질을 올리기 위한 자연스러운 환경을 제공하며, 수직 구조와 수평 구조 간의 호환성을 보장한다.
• 기저 범주 또는 모나드 범주가 적절히 구조화되어 있을 경우, Prof(E) 또는 V-Mat의 '좋은' 사상들(이분기 범주에서의 왼쪽 수반에 해당)로 구성된 전부의 이중 범주는 유한한 곱을 갖는다.
• D가 Cartesian 이중 범주이면, D 위의 모듈러 이중 범주 Mod(D) 역시 Cartesian 이중 범주이다. 이는 이분기적 결과를 이중 설정으로 일반화한 것이다.
• 이중 범주 이론의 엄밀한 2-범주적 구조인 DblCat 내에서 수반과 곱을 더 직접적으로 제어할 수 있기 때문에, Cartesian 이중 범주 이론은 이분기적 곱의 기술적 복잡성을 피할 수 있다.
• 이 프레임워크는 프로파일러를 Cartesian 이중 범주로서 더 깔끔하게 특성화할 수 있게 하며, 이 설정에서 Prof(E)의 완전한 특성화로 이르는 길을 제시한다.