[論文レビュー] Categorical structures enriched in a quantaloid: projective cocomplete categories

Isar Stubbe|arXiv (Cornell University)|Jan 27, 2005

Logic, Reasoning, and Knowledge被引用数 5

ひとこと要約

本稿は、量的圏（quantaloid）に値をとる完全連続な cocomplete 圏の理論を導入し、コンピュータ科学および物理学における動的システムのモデル化を目的として、完全分配束（suplattice）を一般化する。量的圏に値をとる圏論的構造を通じて論理と動的性を統合することで、'動的ドメイン'の基礎的構造を確立する。

ABSTRACT

It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the dynamics of such a system, the updates of that system organize themselves quite naturally in a quantale, or more generally, a quantaloid. In fact, we are lead to consider cocomplete quantaloid-enriched categories as fundamental mathematical structure for a logic common to both computer science and physics. Here we explain the theory of totally continuous cocomplete categories as generalization of the well-known theory of totally continuous suplattices. That is to say, we undertake some first steps towards a theory of dynamic domains''.

研究の動機と目的

• 量的圏に値をとる完全連続な完全小数圏（totally continuous cocomplete categories）の理論を、完全分配束の理論に拡張すること。
• 理論的コンピュータ科学および物理学における論理と動的性を統合する数学的枠組みを提供すること。
• 量的圏構造によるシステムの更新を形式化することで、'動的ドメイン'の基盤を築くこと。
• カテゴリカルな拡張を用いて、静的論理構造（完全格子）を動的構造へ一般化すること。
• 量的圏拡張の文脈において、完全連続な完全小数圏の基礎的性質を確立すること。

提案手法

• システムの動的性をモデル化するために、量的圏に値をとる完全小数圏を用いる。
• 完全連続性の理論を完全小数圏に一般化し、完全分配束からの拡張を実現する。
• 量的圏に値をとる圏論的理論を用いて、論理的システムにおける更新と遷移を形式化する。
• 完全連続性の概念を量的圏に値をとる圏の文脈に導入し、整合的な余極限を保証する。
• 圏論的双対性と拡張を活用して、静的論理（完全格子）と動的進化（量的圏／量的圏）を統合する。
• 計算および物理的モデリングを支援するため、量的圏拡張下での完全小数圏の構造的性質を構築する。

実験結果

リサーチクエスチョン

• RQ1 完全連続な完全分配束の理論は、量的圏に値をとる完全小数圏の文脈においてどのように一般化可能か？
• RQ2 コンピュータ科学および物理学の両分野において、論理的システムの動的進化を最も適切にモデル化する圏論的構造は何か？
• RQ3 システムの更新は自然にどのような量的圏を形成するのか。これにより、圏の拡張にどのような含意が生じるか？
• RQ4 完全小数圏が量的圏に値をとる文脈において'完全連続'と見なされるために満たすべき性質は何か？
• RQ5 量的圏拡張は、論理と動的性を統合する枠組みとして、どのように機能するか？

主な発見

• 本稿は、量的圏に値をとる完全連続な完全小数圏が、古典的な完全連続な完全分配束の理論を一般化することを確立した。
• 完全小数圏に値をとる量的圏拡張が、理論的コンピュータ科学および物理学における動的システムのモデル化に自然な枠組みを提供することを示した。
• 完全連続性の理論が、拡張された圏的文脈へ成功裏に拡張され、整合的な余極限と更新構造が保証された。
• 圏の拡張を通じて、完全格子による静的論理と、量的圏・量的圏による動的プロセスが統合された。
• カテゴリカルおよび順序論的道具を用いてシステムの進化を形式化することで、'動的ドメイン'の理論の基盤が築かれた。
• 本アプローチにより、システムの更新が自然に量的圏を形成することが明らかとなり、量的圏に値をとる圏が根本的構造として正当化された。