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

Marek Zawadowski|arXiv (Cornell University)|Aug 20, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用数 4

ひとこと要約

この論文は、正の面構造を導入して、1対1の正のコンピュータッドのための組み合わせ的枠組みを提供し、それらが主な正の面構造の圏を指数圏として持つプレシャーフ圏であることを示している。オメガ圏が1対1の正のコンピュータッドの上にモノイダル的であることが確立されており、自由関手は包含関手として実現されており、単純なグラフと自由オメガ圏の関係に類似した構造的類似性が提示されている。

ABSTRACT

We introduce the notion of a positive face structure. The positive face structures to positive-to-one computads are like simple graphs, to free omega-categories over omega-graphs. In particular, they allow to give an explicit combinatorial description of positive-to-one computads. Using this description we show, among other things, that positive-to-one computads form a presheaf category with the exponent category being the category of principal positive face structures. We also present the Harnik argument in this context showing that the omega-categories are monadic over positive-to-one computads with the 'free functor' being the inclusion.

研究の動機と目的

• 正の面構造を用いて、1対1の正のコンピュータッドの理解のための組み合わせ的枠組みを構築すること。
• 1対1の正のコンピュータッドの圏が、主な正の面構造の圏を指数圏として持つプレシャーフ圏を形成することを確立すること。
• 1対1の正のコンピュータッドの文脈においてハーニクの議論を一般化し、オメガ圏がこれらの構造の上にモノイダル的であることを示すこと。

提案手法

• 1対1の正のコンピュータッドにおける面関係をモデル化するための組み合わせ的道具として正の面構造を定義すること。
• 正の面構造を用いて、1対1の正のコンピュータッドの明示的かつ構成的な記述を与えること。
• 1対1の正のコンピュータッドの圏が、主な正の面構造の圏を基にしたプレシャーフ圏と同値であることを示すこと。
• ハーニクの議論を適用して、オメガ圏から1対1の正のコンピュータッドへの忘却関手がモノイダル的であることを証明すること。
• 1対1の正のコンピュータッドからオメガ圏への「自由関手」が包含関手として実現されることを示すこと。
• 単純なグラフと自由オメガ圏の間の構造的類似性と、正の面構造と1対1の正のコンピュータッドの間の類似性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 正の面構造をどのように定義すれば、1対1の正のコンピュータッドの組み合わせ的記述が可能になるか？
• RQ2 1対1の正のコンピュータッドの圏のカテゴリカル構造は何か？ そして、プレシャーフ圏とどのように関係しているか？
• RQ3 オメガ圏から1対1の正のコンピュータッドへの忘却関手はモノイダル的か？ もしそうなら、包含関手はこの文脈で果たす役割は何か？
• RQ4 ハーニクの議論は、1対1の正のコンピュータッドの文脈でどのように適用され、モノイダル性が確立されるか？
• RQ5 単純なグラフと自由オメガ圏の間の構造的類似性と、正の面構造と1対1の正のコンピュータッドの間の類似性は何か？

主な発見

• 1対1の正のコンピュータッドは、指数圏が主な正の面構造の圏であるプレシャーフ圏を形成する。
• 1対1の正のコンピュータッドの圏は、正の面構造を用いて明示的な組み合わせ的記述が可能である。
• オメガ圏から1対1の正のコンピュータッドへの忘却関手はモノイダル的である。
• 1対1の正のコンピュータッドからオメガ圏への「自由関手」は包含関手として実現されている。
• ハーニクの議論は、この文脈にうまく適応され、モノイダル性が確認された。
• 単純なグラフと自由オメガ圏の間の構造的類似性と、正の面構造と1対1の正のコンピュータッドの間の類似性が確立された。