[논문 리뷰] Symmetry and Cauchy completion of quantaloid-enriched categories

Hans Heymans, Isar Stubbe|arXiv (Cornell University)|2010. 05. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 9

한 줄 요약

이 논문은 코시 완비화 모나드와 대칭화 코모나드 사이에 분배 법칙이 존재하는, 인버티브적으로 강화된 범주인 코시-양방향 양적환의 개념을 도입한다. 이러한 양적환에 대해, 대칭적인 범주의 코시 완비화가 여전히 대칭적임을 증명하며, 라이브러의 양적환(확장된 음이 아닌 실수의 라이브러 양적환)과 월터스의 닫힌 크라이블의 소량적환에 대한 기존 결과를 통합한다.

ABSTRACT

We formulate an elementary condition on an involutive quantaloid Q under which there is a distributive law from the Cauchy completion monad over the symmetrisation comonad on the category of Q-enriched categories. For such quantaloids, which we call Cauchy-bilateral quantaloids, it follows that the Cauchy completion of any symmetric Q-enriched category is again symmetric. Examples include Lawvere's quantale of non-negative real numbers and Walters' small quantaloids of closed cribles.

연구 동기 및 목표

• 양적환으로 강화된 범주에서 코시 완비화가 대칭성을 유지하는지 여부에 대한 열린 질문을 해결하기 위해.
• 코시 완비화가 대칭적인 범주의 대칭성을 유지하는 일반 조건을 인버티브 양적환에서 규명하기 위해.
• 라이브러의 양적환과 월터스의 닫힌 크라이블의 소량적환에 대한 기존의 특수한 증명들을 하나의 범주론적 프레임워크로 통합하기 위해.
• Q-강화 범주의 범주에서 코시 완비화 모나드와 대칭화 코모나드 사이에 분배 법칙을 확립하기 위해.
• 국소적으로 국소적인 양적환과 모듈라 양적환—예를 들어 그로텐디크 토포스 내부의 관계의 양적환—이 요구 조건을 만족함을 보여주기 위해.

제안 방법

• 코시 완비화 모나드와 대칭화 코모나드 사이에 분배 법칙이 존재하는 인버티브 양적환을 코시-양방향 양적환으로 정의한다.
• 로케일의 모듈라 법칙을 사용하여 사상과 그 반대 사상 간의 부등식을 유도하고, 대칭적인 사상의 가중치가 핵심 완비성 조건을 만족함을 보인다.
• 모듈라 법칙과 국소 격자성에 기반해 조건을 검증함으로써, 모든 소량적환의 관계 R(C,J)가 코시-양방향 양적환임을 증명한다.
• 그로텐디크 토포스 E 내부의 관계의 양적환 Rel(E)가 모듈라성과 국소 격자성 덕분에 강력한 코시-양방향 양적환임을 보인다.
• 모든 Cat_cc(Q) 내의 이산 대상이 대칭적일 수는 없음을 보여주는 반례를 구성한다. 이는 Q가 코시-양방향 양적환일지라도 성립한다.
• 대칭 Q-범주를 모든 Q-범주로 포함하는 포함에 대해 대칭화의 우측 수반을 이용하여 코시 완비화의 확장을 가능하게 한다.

실험 결과

연구 질문

• RQ1 인버티브 양적환 Q에 대해 어떤 조건이 성립할 경우, 대칭 Q-범주의 코시 완비화가 다시 대칭이 되는가?
• RQ2 라이브러의 양적환 [0,∞]와 월터스의 닫힌 크라이블의 소량적환에 대한 알려진 결과들을 하나의 범주론적 프레임워크로 통합할 수 있는가?
• RQ3 코시 완비화 모나드와 대칭화 코모나드 사이에 분배 법칙이 존재하는 것이 이러한 양적환을 특징짓는가?
• RQ4 국소적으로 국소적인 양적환과 모듈라 양적환—예를 들어 R(C,J) 또는 Rel(E)—는 반드시 코시-양방향 양적환인가?
• RQ5 대칭 Q-범주와 코시 완비 Q-범주의 범주 내 이산 대상 간의 관계는 무엇인가?

주요 결과

• 논문은 코시 완비화 모나드와 대칭화 코모나드 사이에 분배 법칙이 존재하는 조건을 만족하는 코시-양방향 양적환의 클래스를 도입한다.
• 모든 코시-양방향 양적환 Q에 대해, 대칭 Q-범주의 코시 완비화가 다시 대칭이 되며, 이는 Betti와 월터스의 질문을 일반적인 설정에서 긍정적으로 해결한다.
• 라이브러의 양적환 ([0,∞], +, ∧, 0)는 코시-양방향 양적환임을 보여주며, 이는 대칭적인 일반화된 거리 공간이 코시 완비화 후에도 여전히 대칭적임을 보장한다.
• 월터스의 닫힌 크라이블의 소량적환 R(C,J)는 코시-양방향 양적환임을 보여주며, 따라서 대칭 R(C,J)-범주는 코시 완비화 후에도 유지된다.
• 그로텐디크 토포스 E 내부의 관계의 양적환 Rel(E)는 모듈라성과 국소 격자성 덕분에 강력한 코시-양방향 양적환임을 보였다.
• 반례를 통해 Q가 코시-양방향 양적환일지라도 Cat_cc(Q) 내의 모든 이산 대상이 대칭적일 필요는 없다는 점을 보여주며, 이는 이산성과 대칭성 간의 차이를 부각시킨다.