[논문 리뷰] The geometry of cubical and regular transition systems

Philippe Gaucher|arXiv (Cornell University)|2014. 05. 20.

Mathematics and Applications참고 문헌 1인용 수 5

한 줄 요약

이 논문은 각 입방체가 정확한 수의 면을 가져 기하학적 직관에 부합하도록 하는 입방체 전이 체계의 개선된 하위 클래스인 정규 전이 체계를 도입한다. 이는 입방체 전이 체계와 정규 전이 체계에서 피브란트 대상의 완전한 조합적 특성화를 제공하며, 전체 반사적 부분범주로의 수반 관계 제한에 관한 일반 레마를 수립하여 입방체 체계에서 정규 체계로 모델 구조를 이전할 수 있도록 한다.

ABSTRACT

There exist cubical transition systems containing cubes having an arbitrarily large number of faces. A regular transition system is a cubical transition system such that each cube has the good number of faces. The categorical and homotopical results of regular transition systems are very similar to the ones of cubical ones. A complete combinatorial description of fibrant cubical and regular transition systems is given. One of the two appendices contains a general lemma of independant interest about the restriction of an adjunction to a full reflective subcategory.

연구 동기 및 목표

• 각 입방체가 정확한 수의 면을 가져야 하는 잘 정의된 하위 클래스로서 정규 전이 체계를 정의하고 연구하는 것.
• 입방체 전이 체계와 정규 전이 체계의 모델 범주에서 피브란트 대상의 완전한 조합적 기술을 제공하는 것.
• 모델 구조를 이전하기 위한 일반적인 범주론적 도구—전체 반사적 부분범주로의 수반 관계 제한—을 수립하는 것.
• 정규 전이 체계의 호모토피적 및 범주론적 성질이 입방체 체계와 밀접하게 유사함을 보이는 것.
• 정규 전이 체계를 높은 차원의 구조가 잘 정의된 병행 프로세스를 모델링하기 위한 기초로 사용할 수 있음을 뒷받침하는 것.

제안 방법

• 모든 n차원 입방체가 정확히 2n개의 면을 가지는 입방체 전이 체계의 하위 클래스로 정규 전이 체계를 정의하여 기하학적 직관과 일치하도록 보장한다.
• 모든 하위 차원 전이가 높은 차원 전이로부터 생성되도록 하는 조합(또는 일관성) 공리를 적용한다.
• 약한 인수 분해 체계와 왼쪽 결정 모델 범주 이론을 활용하여 정규 전이 체계에 모델 구조를 구성한다.
• 입방체화 함자에 의한 부우델드 로컬라이제이션을 적용하여 정규 체계의 모델 구조를 입방체 체계의 모델 구조와 연결한다.
• 부록 B에서 전체 반사적 부분범주로의 수반 관계 제한에 관한 일반 레마를 개발하며, 이는 цิ린더 및 경로 함자를 이전하는 데 사용된다.
• 약한 전이 체계의 범주가 국소적으로 유한하게 생성되며, 위상적 성질을 지닌다는 점을 이용하여 코로니모르포즘과 반사적 부분범주의 존재를 보장한다.

실험 결과

연구 질문

• RQ1 입방체 전이 체계는 어떻게 개선되어야 하며, 각 n차원 입방체가 정확히 2n개의 면을 가져야 하는가? 이는 어떤 범주론적 결과를 초래하는가?
• RQ2 입방체 및 정규 전이 체계의 모델 범주에서 피브란트 대상의 완전한 조합적 특성화는 무엇인가?
• RQ3 범주 간의 수반 관계는 어떻게 전체 반사적 부분범주로 제한될 수 있으며, 수반성의 유지 보장을 위한 조건은 무엇인가?
• RQ4 정규 전이 체계의 호모토피적 성질이 입방체 체계와 얼마나 유사한가?
• RQ5 로컬라이제이션과 반사성을 통해 입방체 전이 체계의 모델 구조를 정규 전이 체계로 이전할 수 있는가?

주요 결과

• 정규 전이 체계는 모든 n차원 입방체가 정확히 2n개의 면을 가지도록 정의되어, 면이 너무 많거나太少한 병행 입방체를 제거한다.
• 정규 및 입방체 전이 체계에서 피브란트 대상의 완전한 조합적 기술이 제공되며, 이는 특정 조합과 면 사상에 대한 닫힘 성질로 특징지어진다.
• 정규 전이 체계의 모델 범주는 왼쪽 결정되어 있음을 보여주며, 이는 단순히 단사 사상이 코프라비티이며, 약한 피브란트 사상이 끼워넣기 성질에 의해 정의되는 가장 작은 모델 구조임을 의미한다.
• 입방체화 함자는 정규 전이 체계의 모델 범주에 대해 부우델드 로컬라이제이션을 유도하며, 이는 더 큰 입방체 체계의 범주와 연결된다.
• 부록 B의 일반 레마는 수반 관계가 전체 반사적 부분범주로 제한될 수 있음이 보장되며, 이는 반사 함자가 왼쪽 수반함자와 자연 동형사상으로 교환 가능할 때에만 성립한다.
• 입방체 전이 체계에서 정규 전이 체계로의 사이클더 및 경로 함자의 제한이, 수반 관계 제한 레마를 통해 잘 정의되고 구조를 유지함을 보였다.