[논문 리뷰] Lifting Problems in Grothendieck Fibrations

Andrew Swan|arXiv (Cornell University)|2018. 02. 07.

Dynamics and Control of Mechanical Systems참고 문헌 20인용 수 4

한 줄 요약

이 논문은 그로텐디크 피브레이션 내에서 올림 문제를 일반화하는 프레임워크를 제안하며, 집합의 사상들 대신 피브레이션 내의 수직 사상으로 치환함으로써 코프리미티브 생성 및 대칭적으로 코프리미티브 생성 분해를 통합한다. 보편 올림 문제의 존재를 확립하고, 가너의 소형 객체 방법을 피브레이션적 환경에 적응시켜 토포스 이론, 실현 가능성 모델, 큐빅형 이론에서의 새로운 구성이 가능하게 한다.

ABSTRACT

Many interesting classes of maps from homotopical algebra can be characterised as those maps with the right lifting property against certain sets of maps (such classes are sometimes referred to as cofibrantly generated). In a more sophisticated notion due to Garner (referred to as algebraically cofibrantly generated) the set of maps is replaced with a diagram over a small category. We give a yet more general definition where the set or diagram of maps is replaced with a vertical map in a Grothendieck fibration. In addition to an interesting new view of the existing examples above, we get new notions, such as computable lifting problems in presheaf assemblies, and internal lifting problems in a topos. We show that under reasonable conditions one can define a notion of universal lifting problem and carry out step-one of Garner's small object argument. We give explicit descriptions of what the general construction looks like in some examples.

연구 동기 및 목표

• 집합의 사상들로부터의 코프리미티브 생성 분해 개념을 그로텐디크 피브레이션에 통합함으로써 그 개념을 확장한다.
• 소형 객체 방법을 피브레이션적 환경으로 확장하여, 특히 대칭 약한 분해계(awfs)의 맥락에서 적용 가능하게 한다.
• 내부 범주, 준층 조립, 공도피브레이션에서의 올림 문제에 대한 통합적 접근을 제공한다.
• 특히 BCH 모델에서 큐빅형 이론 내에서 칸 피브레이션과 순환 피브레이션의 구조를 명확히 한다.
• 피브레이션적 올림, 강화된 올림, 이중 범주론적 올림을 통합하는 공통의 일반화 프레임워크를 탐색한다.

제안 방법

• 수직 사상들을 사용하여 그로텐디크 피브레이션 내에서 올림 문제를 정의함으로써, 고전적 올림 다이어그램을 피브레이션적 맥락으로 일반화한다.
• 국소적으로 작은 피브레이션에서 호 객체를 통한 보편 올림 문제의 개념을 도입하며, 합리적인 조건 하에서 존재성을 보장한다.
• 특히 라베르의 및 가너의 프레임워크를 통해 쌍대-모나드를 통한 수반 관계를 이용하여 피브레이션 위에서의 함자적 분해를 구성한다.
• 모노이드 피브레이션 위에서 피브레이션적 리블니츠 구성법을 적용하여, 토포스와 준층 조립 내에서의 내부적 분해 생성을 가능하게 한다.
• 공도피브레이션과 범주색인 가족을 사용하여 고전적 올림 구조를 모델링하며, 큐빅 세트의 맥락에서도 적용 가능하다.
• 피브레이션적 환경에서 대칭적으로 자유로운 awfs와 rawfs의 존재 조건을 설정하며, 피브레이션적 모노이드 구조를 활용한다.

실험 결과

연구 질문

• RQ1 그로텐디크 피브레이션을 통해 집합의 생성 사상들로부터의 코프리미티브 생성 약한 분해계를 어떻게 일반화할 수 있는가?
• RQ2 소형 객체 방법은 피브레이션적 구조 위에서 내부화되고 일반화될 수 있는가? 특히 토포스와 실현 가능성 모델의 맥락에서.
• RQ3 큐빅형 이론 내에서 공도피브레이션이 순환 피브레이션과 칸 피브레이션을 특성화하는 데 어떤 역할을 하는가?
• RQ4 피브레이션적 올림 문제와 강화된 올림 성질, 이중 범주론적 올림 구성법 사이의 관계는 무엇인가?
• RQ5 피브레이션적, 강화된, 이중 범주론적 올림 문제의 개념을 포함하는 공통의 일반화는 존재하는가?

주요 결과

• 국소적으로 작은 피브레이션 내에서는 보편 올림 문제가 존재하며, 이는 소형 객체 방법의 피브레이션 이론적 일반화를 가능하게 한다.
• 피브레이션적 리블니츠 구성법은 모노이드 피브레이션 위에서 정의 가능하며, 이는 토포스와 준층 조립 내에서의 내부적 분해 생성을 허용한다.
• BCH 큐빅 세트 모델 내에서 순환 피브레이션은 공도피브레이션에 대한 01-대체 사상 집합으로 코프리미티브 생성된다.
• BCH 모델 내에서의 칸 피브레이션은 범주색인 가족 피브레이션을 통해 특성화될 수 있으나, 그 구성은 비-피브레이션적 모노이드 곱(분리된 곱)에 의존한다.
• 이 프레임워크는 효과적 토포스와 함수 실현 가능성 토포스와 같은 실현 가능성 토포스를 수용할 수 있으며, 이들 모두가 비자명한 호모토피적 구조를 갖는다.
• 심슨의 독립 정사각형 하위범주를 통해 피브레이션적 모노이드 곱 문제에 대한 부분적 해결책을 제공하며, 분리된 곱의 피브레이션적 확장을 가능하게 한다.