[論文レビュー] On ordered face structures and many-to-one computads

Marek Zawadowski|ArXiv.org|Aug 20, 2007

Advanced Algebra and Logic参考文献 4被引用数 4

ひとこと要約

本稿は、多対一コンピュータッドにおける細胞の形状を記述する組合せ的枠組みとして、順序付きフェース構造を導入する。これは、以前の正対一コンピュータッドに関する研究を一般化するものである。本稿は、多対一コンピュータッドの完全な組合せ的特徴付けを順序付きフェース構造を用いて確立し、それらがこのようなコンピュータッドにおけるすべての可能な細胞形状を捉えていることを示し、カテゴリ $T^*$ が多対一コンピュータッドであることを証明することで、このクラス全体の基礎的記述を提供する。

ABSTRACT

We introduce the notion of an ordered face structure. The ordered face structures to many-to-one computads are like positive face structures to positive-to-one computads. This allow us to give an explicit combinatorial description of many-to-one computads in terms of ordered face structures.

研究の動機と目的

• 多対一コンピュータッドの組合せ的記述を提供すること。これは、細胞の定義域に制限を課さない正対一コンピュータッドの一般化である。
• 多対一コンピュータッドにおけるすべての細胞（特に不定元に限らない）の形状を捉えるための主要な組合せ的道具として、順序付きフェース構造を導入し、それらを研究すること。
• 正対一コンピュータッドにおける既存の研究を、より豊かな多対一コンピュータッドの文脈に一般化すること。
• 順序付きフェース構造の構造を用いて、多対一コンピュータッドの完全な特徴付けを確立すること。これには、商、被覆、テンソル平方が含まれる。
• 多対一コンピュータッドの圏における終端対象 $T^*$ が実際に多対一コンピュータッドであることを証明し、フレームワークの整合性を確認すること。

提案手法

• 本稿では、フェース構造と面の全順序を備えたハイパーグラフとして、順序付きフェース構造を定義し、正対一フェース構造を一般化する。
• 順序付きフェース構造の局所的構造を分析するために、$k$-定義域と $k$-共定義域の概念を導入する。
• 多対一コンピュータッドにおける合成と整合性をモデル化するために、順序付きフェース構造の $k$-テンソル平方を構成する。
• コンピュータッド内の関係や部分構造をモデル化するために、順序付きフェース構造の商および正被覆を定義する。
• $n$-圏と自由拡大の間の圏と随伴を用いて、多対一コンピュータッドの圏を定義する。
• 自由拡大関手 $\mathcal{F}^{m/1}_{n+1}$ が ${\bf Comma}^{m/1}_{n+1}$ と ${{\bf Comp}^{m/1}_{n+1}}$ の間で同値に制限されることを証明し、組合せ的記述を可能にする。

実験結果

リサーチクエスチョン

• RQ1 多対一コンピュータッドにおける細胞の形状を、特に定義域が不定元に制限されない場合に、どのように組合せ的に記述できるか？
• RQ2 順序付きフェース構造は、正対一から多対一コンピュータッドへのフェース構造フレームワークの一般化において果たす役割は何か？
• RQ3 順序付きフェース構造の商、被覆、テンソル平方は、多対一コンピュータッドにおける合成と整合性をどのようにモデル化するか？
• RQ4 標準的または終端の多対一コンピュータッドは存在するのか？もしあるならば、その構造は何か？
• RQ5 多対一コンピュータッドの圏は、順序付きフェース構造およびその組合せ的性質を用いて完全に特徴付けられるか？

主な発見

• 多対一コンピュータッドの圏は、正対一フェース構造を一般化する順序付きフェース構造の組合せ論によって完全に特徴付けられる。
• 本稿では、順序付きフェース構造を介して、多対一コンピュータッドの圏を $\omega$-圏の圏へ全単射埋め込みとして構成する。
• 終端の多対一コンピュータッド $T^*$ が明示的に多対一コンピュータッドであることが示され、この圏における普遍対象の存在が確認される。
• 順序付きフェース構造の $k$-テンソル平方は、$k$-細胞の合成をモデル化し、高次元の整合性を分析するための道具を提供する。
• ${\bf Comma}^{m/1}_{n+1}$ と ${{\bf Comp}^{m/1}_{n+1}}$ 間の同値 $\mathcal{F}^{m/1}_{n+1} \dashv \|{-}\|_{n+1}$ は、多対一コンピュータッドの完全な組合せ的表現を提供する。
• 順序付きフェース構造の構造により、定義域、共定義域、並行ペアの体系的取り扱いが可能となり、多対一コンピュータッドにおける細胞形状の正確な記述が可能になる。