[論文レビュー] Lawvere completion and separation via closure

Dirk Hofmann, Walter Tholen|ArXiv.org|Dec 31, 2007

Structural Analysis and Optimization参考文献 6被引用数 4

ひとこと要約

本稿は、$τ$-圏におけるLawvereの完全性および分離性の閉包的理論的枠組みを提示する。これは、位相的理論$τ = (\mathbb{T}, \mathsf{V}, \xi)$を介して$ν$-圏理論を一般化する。本稿では、$τ$-圏のL-完備化が、$τ$-加群の圏におけるYoneda像のL-閉包であることを確立し、L-完備$τ$-圏のepi-反射的部分圏を導出する。

ABSTRACT

For a quantale $\V$, first a closure-theoretic approach to completeness and separation in $\V$-categories is presented. This approach is then generalized to $\Tth$-categories, where $\Tth$ is a topological theory that entails a set monad $\mT$ and a compatible $\mT$-algebra structure on $\V$.

研究の動機と目的

• 閉包作用素を用いて、$ν$-圏におけるLawvereの完全性および分離性の概念を$τ$-圏へ一般化すること。
• $τ$-圏におけるYoneda埋め込みの非対称性を解消するため、$X^{\mathrm{op}}$ を $TX$ として$τ$-構造を備えたものとして定義すること。
• 度量的、位相的、連続性空間を統一する完全性および分離性のカテゴリカルな枠組みを確立すること。
• L-完備化が、$τ$-加群の圏におけるYoneda像のL-閉包として生じることを示すこと。
• L-分離$τ$-圏の圏におけるL-完備$τ$-圏の全部分圏がepi-反射的であることを証明すること。

提案手法

• $ν$-関手におけるL密度を、$f \cdot m = g \cdot m$ ならば $f \cong g$ となる性質として定義し、単射の一般化とする。
• 部分対象$M \to X$のL-閉包を、$M \to \overline{M}$ がL密度を満たすような最大の部分対象として定義する。
• $X^{\mathrm{op}} = TX$ に$τ$-代数構造を備えた$\mathpzc{y}: X \to \hat{X} = \mathsf{V}^{X^{\mathrm{op}}}$ としてYoneda関手を構成する。
• 量化環$\mathsf{V}$における内部ホム$\multimap$とモノイド$\mathbb{T}$を用いて、$\hat{X}$における$τ$-加群構造を定義する。
• $\tilde{X}$ を $\hat{X}$ における $\operatorname{\mathpzc{y}}(X)$ のL-閉包として定義し、$\operatorname{\mathpzc{y}}$ の全忠実性およびL密度を保証する。
• $\psi \in \hat{X}$ が右随伴$τ$-加群であることと $\psi \in \overline{\operatorname{\mathpzc{y}}(X)}$ であることが同値であることの関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 閉包作用素を用いて、$ν$-圏から$τ$-圏へのLawvereの完全性および分離性の一般化はどのように可能か？
• RQ2 $τ$-構造の非対称性を鑑みるとき、$τ$-圏の文脈におけるYoneda埋め込みの適切な一般化は何か？
• RQ3 L-閉包構成が、完全かつ分離的であるような完成化プロセスをどのように得られるか？
• RQ4 L-完備$τ$-圏のL-完備化が、L-分離$τ$-圏の圏におけるepi-反射的部分圏であるための条件は何か？
• RQ5 L-完備$τ$-圏が、そのYoneda像の閉包として、加群圏における閉包と同値であるという意味は何か？

主な発見

• $τ$-圏$X$のL-完備化は、$\tilde{X} = \overline{\operatorname{\mathpzc{y}}(X)}$ として与えられ、これは$\hat{X}$におけるYoneda像のL-閉包であり、$\tilde{X}$ がL-完備であることを示す。
• Yoneda埋め込み$\operatorname{\mathpzc{y}}: X \to \tilde{X}$ は全忠実かつL密度的であり、$\tilde{X}$ が$X$の最小のL-完備拡張であることを保証する。
• $τ$-加群$\psi \in \hat{X}$ が右随伴であるための必要十分条件は、$\psi \in \overline{\operatorname{\mathpzc{y}}(X)}$ であることである。これにより、随伴性と閉包が結びつく。
• L-完備$\tau$-圏の全部分圏$\mathscr{T}\text{-}\mathsf{Cat}_{\mathrm{cpl}}$ は、$\mathscr{T}\text{-}\mathsf{Cat}_{\mathrm{sep}}$ においてepi-反射的であり、反射は$\operatorname{\mathpzc{y}}: X \to \tilde{X}$ によって与えられる。
• この構成は既知の事例を一般化する：$\mathbb{T}$ が超フィルターモノイドで$\mathsf{V} = \mathsf{2}$ の場合、Barrの位相空間の関係的記述が回復される。
• $\mathbb{T}$ が超フィルターモノイドで$\mathsf{V}$ がLawvereの半直線である場合、この枠組みはLowenのアプローチ空間を回復し、その一般性を裏付ける。