[논문 리뷰] An embedding theorem for adhesive categories

Stephen Lack|arXiv (Cornell University)|2011. 03. 03.

Advanced Numerical Analysis Techniques참고 문헌 6인용 수 7

한 줄 요약

이 논문은 광범위한 카테고리에 대한 임bedding 정리를 수립하며, 모든 유한한 광범위한 카테고리가 유한한 극한과 단사 사상에 沿한 쐐기극한을 유지하는 토포스로 완전히 충실하게 임베딩될 수 있음을 증명한다. 주요 기여는 광범위한 카테고리의 정의에 포함된 정확성 조건이, 어떤 토포스에서도 단사 사상에 沿한 쐐기극한과 당김극한 사이의 상호작용을 정확히 포괄하고 있음을 보여주는 데 있다.

ABSTRACT

Adhesive categories are categories which have pushouts with one leg a monomorphism, all pullbacks, and certain exactness conditions relating these pushouts and pullbacks. We give a new proof of the fact that every topos is adhesive. We also prove a converse: every small adhesive category has a fully faithful functor in a topos, with the functor preserving the all the structure. Combining these two results, we see that the exactness conditions in the definition of adhesive category are exactly the relationship between pushouts along monomorphisms and pullbacks which hold in any topos.

연구 동기 및 목표

• 모든 토포스가 광범위한 카테고리임이 알려져 있는 사실의 역을 증명함으로써, 모든 유한한 광범위한 카테고리가 토포스로 완전히 충실하게 임베딩될 수 있음을 보이는 것.
• 광범위한 카테고리의 정의에 포함된 정확성 조건이, 어떤 토포스에서도 단사 사상에 沿한 쐐기극한과 당김극한 사이에 성립하는 조건을 정확히 포괄하고 있음을 보여주는 것.
• 단사 사상에 沿한 쐐기극한과 당김극한 사이의 본질적 상호작용을 포착하는 카테고리적 프레임워크를 제공하는 것.
• 정규 및 광범위한 카테고리에 대한 임베딩 정리 패턴(예: 정규 및 광범위한 카테고리의 경우)을 광범위한 카테고리의 맥락으로 확장하는 것.

제안 방법

• 단사 사상에 沿한 쐐기극한 사각형으로 생성된 유한한 광범위한 카테고리 위에 그로텐디크 위상 구축.
• 카테고리 위의 프레시브 캐테고리로의 얀다 임베딩을 수행한 후, 정의된 위상에 대한 셰이브의 전체 부분카테고리로 제한.
• 단사 사상에 沿한 쐐기극한 사각형에서 생성되는 모든 생성 커버에 대해 셰이브 조건을 검증함으로써, 얀다 임베딩이 셰이브의 카테고리에 속함을 증명.
• 얀다 임베딩이 항상 유한한 극한을 유지하므로, 제한된 얀다 함자도 모든 유한한 극한을 유지함을 보여줌.
• 셰이브가 이러한 쐐기극한을 집합의 극한으로 보냄을 보여줌으로써, 단사 사상에 沿한 쐐기극한을 유지함을 입증함—셰이브 조건과 특정 맵들의 공동 단사성 이용.
• 레마 3.3을 적용하여 커널 쌍의 구조를 분석하고, 특정 맵들의 공동 단사성을 이용해 셰이브 조건에서 필요한 유일성을 확립함.

실험 결과

연구 질문

• RQ1 모든 유한한 광범위한 카테고리가 유한한 극한과 단사 사상에 沿한 쐐기극한을 유지하는 토포스로 완전히 충실하게 임베딩될 수 있는가?
• RQ2 광범위한 카테고리의 정의에 포함된 정확성 조건이, 어떤 토포스에서도 단사 사상에 沿한 쐐기극한과 당김극한 사이에 성립하는 조건을 정확히 포괄하는가?
• RQ3 적절한 셰이브의 카테고리로의 얀다 임베딩이 광범위한 카테고리의 단사 사상에 沿한 쐐기극한을 유지하는가?
• RQ4 유한한 광범위한 카테고리 위에 그로텐디크 위상이 존재하는가? 이에 따라 셰이브의 카테고리가 토포스를 이루며, 임베딩이 필요한 쐐기극한과 극한을 유지하는가?
• RQ5 극한과 쐐기극한의 상호작용 측면에서, 광범위한 카테고리와 토포스 사이의 정확한 카테고리적 관계는 무엇인가?

주요 결과

• 모든 유한한 광범위한 카테고리는 모든 유한한 극한과 단사 사상에 沿한 쐐기극한을 유지하는 토포스로 완전히 충실하게 임베딩될 수 있다.
• 이 임베딩은 단사 사상에 沿한 쐐기극한 사각형으로 생성된 그로텐디크 위상에 대한 셰이브의 카테고리로의 얀다 임베딩을 통해 구성된다.
• 이 위상에 대한 셰이브 조건은 얀다 이미지가 셰이브의 카테고리에 속함을 보장하여, 임베딩이 완전히 충실함을 보장한다.
• 단사 사상에 沿한 쐐기극한의 유지성은, 셰이브가 이러한 쐐기극한을 집합의 극한으로 보냄을 보여줌으로써 확립되며, 이는 커널 쌍의 구조에서 유도된 특정 맵들의 공동 단사성을 이용한다.
• 이 증명은 레마 3.3에 의존하며, 이는 특정 단사 사상에 沿한 쐐기극한이 당김극한임을 보여주므로 셰이브 조건의 검증이 가능해진다.
• 결과적으로 광범위한 카테고리의 공리가, 어떤 토포스에서도 단사 사상에 沿한 쐐기극한과 당김극한 사이의 정확한 조건을 정확히 포괄하고 있음을 확인한다.