[논문 리뷰] Notes on enriched categories with colimits of some class

G. M. Kelly, Vincent Schmitt|ArXiv.org|2005. 01. 22.

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

한 줄 요약

이 논문은 가중한 극한과 쌍대극한을 사용하여 특정 클래스의 쌍대극한을 갖는 강화된 범주를 조사하며, $\Phi$-가중 극한과 가환하는 $\Phi^+$ 및 $\Phi^-$라는 가중치의 클래스를 도입한다. 이 클래스들이 포화되어 있음을 증명하고, $\mathcal{P}^{-}({\mathcal{B}}^{op})^{op}$ 내의 소형 프로젝티브와 $\mathcal{P}^{-}(\mathcal{B})$ 사이의 동치를 확립하여 Isbell 쌍대성을 일반화하고, 강화된 범주론에서 코시 완비화 이론을 풍부히 한다.

ABSTRACT

Given a class Phi of weights, we study the following classes: Phi^+ of Phi-flat weights which are the psi for which psi-colimits commute in the base V with limits with weights in Phi; and Phi^-, dually defined, of weights psi for which psi-limits commute in the base V with colimits with weights in Phi. We show that both these classes are saturated (i.e. closed under the terminology of Albert-Kelly or Betti's coverings). We prove that for the class P of all weights P^+ = P^-. For any small B, we defined an enriched adjunction a` la Isbell [B,V]^op -> [B^op,V] and show how it restricts to an equivalence (P^-(B^op))^op ~ P^-(B) between subcategories of small projectives.

연구 동기 및 목표

• 유한성이나 필터링성 대신 가중치의 클래스에 초점을 맞추어 강화된 범주에서 접근성과 쌍대극한 성질에 관한 결과를 일반화하기 위해.
• 기저 범주 $\mathcal{V}$ 내에서 가중 쌍대극한과 극한의 가환성을 연구하기 위해, 특히 $\Phi^+$ 및 $\Phi^-$ 클래스에 대해.
• 강화된 Isbell 수반을 통해 $\mathcal{P}^{-}(\mathcal{B})$ 및 $\mathcal{P}^{-}({\mathcal{B}}^{op})^{op}$ 내의 소형 프로젝티브 객체들 사이의 쌍대성을 수립하기 위해.
• $\mathcal{P}^{-}$를 소형 프로젝티브의 클래스로, $\mathcal{P}^+$를 $\mathcal{P}$-평탄한 가중치의 클래스로 명확히 하기 위해.

제안 방법

• 기저 범주 $\mathcal{V}$ 내에서 $\psi$-쌍대극한이 $\Phi$-가중 극한과 가환하는 가중치의 클래스인 $\Phi^+$를 도입하며, 이는 $\Phi$-가중 극한과의 가환성을 만족한다. $\Phi^-$는 이에 대해 쌍대적으로 정의된다.
• 범주 $\mathcal{B}$의 자유 쌍대완비화를 구성하기 위해 강화된 Yoneda 임bedding $Y: \mathcal{B} \to [\mathcal{B}^{op}, \mathcal{V}]$를 사용한다.
• 범주 $[\mathcal{B}^{op}, \mathcal{V}]^{op}$ 및 $[\mathcal{B}, \mathcal{V}]$ 사이의 Isbell 수반 $[\mathcal{B}^{op}, \mathcal{V}]^{op} \rightleftarrows [\mathcal{B}, \mathcal{V}]$를 적용하여 $\mathcal{P}^{-}(\mathcal{B})$ 및 $\mathcal{P}^{-}({\mathcal{B}}^{op})^{op}$ 사이의 관계를 규명한다.
• 가중치 $\psi \in \mathcal{Q}(\mathcal{B})$가 소형 프로젝티브임을, $\varphi = [\mathcal{B}^{op}, \mathcal{V}](\psi, Y-)$에 대해 $-*\varphi$의 표현 가능성으로 특성화한다.
• 공식 $\psi * y = [\mathcal{B}^{op}, \mathcal{V}](\psi, Y-)$를 사용하여 $[\mathcal{B}^{op}, \mathcal{V}]$ 내의 쌍대극한을 $\mathcal{V}$ 내의 점별 극한과 연결한다.
• Isbell 수반과 관련하여 $\tilde{y}(\varphi) = \psi$ 이며, $\psi(b) = [\mathcal{B}, \mathcal{V}](\varphi, Y'b)$ 를 만족함을 증명함으로써, 이 수반과 쌍대성 간의 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 기저 범주 $\mathcal{V}$ 내에서 $\psi$-쌍대극한이 $\Phi$-가중 극한과 언제 가환하며, 이러한 가중치는 어떻게 특성화할 수 있는가?
• RQ2 $\Phi^+$ 및 $\Phi^-$ 간의 관계는 무엇이며, 이들은 극한과 쌍대극한에 대해 포화되어 있는가?
• RQ3 Isbell 수반이 $\mathcal{P}^{-}({\mathcal{B}}^{op})^{op}$ 및 $\mathcal{P}^{-}(\mathcal{B})$ 사이의 동치로 제한되는가?
• RQ4 Isbell 쌍대성에 의해 $[\mathcal{B}^{op}, \mathcal{V}]$ 내의 소형 프로젝티브 객체는 어떻게 정확히 특성화되는가?

주요 결과

• $\Phi^+$ 및 $\Phi^-$ 클래스는 포화되어 있으며, 이는 적절한 의미에서 극한과 쌍대극한에 대해 닫혀 있음을 의미한다.
• 모든 가중치의 클래스 $\mathcal{P}$에 대해 $\mathcal{P}^+ = \mathcal{P}^-$ 임을 보여, $\mathcal{P}$-평탄한 가중치가 소형 프로젝티브와 일치함을 나타낸다.
• Isbell 수반이 $({\mathcal{P}^{-}({\mathcal{B}}^{op})})^{op} \cong \mathcal{P}^{-}(\mathcal{B})$ 로 제한되어, 쌍대 범주 내의 소형 프로젝티브 간의 쌍대성을 제공한다.
• 가중치 $\psi$가 $\mathcal{Q}(\mathcal{B})$(소형 프로젝티브의 클래스)에 속해 있음과 동시에, $\varphi = [\mathcal{B}^{op}, \mathcal{V}](\psi, Y-)$ 에 대해 $-*\varphi: [\mathcal{B}^{op}, \mathcal{V}] \to \mathcal{V}$ 가 표현 가능할 조건이 필요하고 충분하다.
• 공식 $\psi * y = [\mathcal{B}^{op}, \mathcal{V}](\psi, Y-)$ 가 성립하며, 이는 자유 쌍대완비화 내의 쌍대극한을 $\mathcal{V}$ 내의 점별 극한과 연결한다.
• Isbell 수반은 $\hat{Y}^{op} \dashv (Y'^{op})^\sim$ 를 만족하며, 이 쌍대성은 표현 가능성과 프로젝티브 성질을 특성화하는 데 사용된다.