[論文レビュー] Weights for Objects of Monoids

Łukasz Sienkiewicz, Marek Zawadowski|arXiv (Cornell University)|Jun 13, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 14被引用数 3

ひとこと要約

本稿は、2圏における重み付き極限を用いて、モノイド関連の対象（例えば双モノイドやモノイド作用）を統一的フレームワークで構成する方法を提案する。対象の構造を符号化するための補助的な圏および2圏を、対称的（おそらく彩色付きの）operadの行列によって定義することで、重みを体系的かつ一般化可能に記述する。この方法により、複雑な代数的構造を構造的かつ一般化可能な形で重み付き極限として記述できる。

ABSTRACT

The main objective of the paper is to dene the construction of the object of monoids, over a monoidal category object in any 2-category with nite products, as a weighted limit. To simplify the denition of the weight, we use matrices of symmetric (possibly colored) operads that dene some auxiliary categories and 2-categories. Systematic use of these matrices of operads allows us to dene several similar objects as weighted limits. We show, among others, that the constructions of the object of bi-monoids over a symmetric monoidal category object or the object of actions of monoids along an action of a monoidal category object can be also described as weighted limits.

研究の動機と目的

• 有限積を持つ任意の2圏において、モノイド圏対象上のモノイド対象を重み付き極限として定義すること。
• 重み付き極限の重みの構成を簡素化するために、対称的（おそらく彩色付きの）operadの行列を導入すること。
• このフレームワークを一般化し、双モノイドやモノイド作用などの他の代数的構造を重み付き極限として記述できること。
• 2圏における複雑な代数的構造を、operad行列を通じて体系的に符号化するための方法を提供すること。
• 2圏理論における見かけ上異なる構成を、重み付き極限の共通形式的枠組みの下に統一すること。

提案手法

• 本稿は、対称的operadの行列を用いて、重みの構造を符号化する補助的な圏および2圏を定義する。
• これらのoperad行列に符号化された代数的データを活用することで、重み付き極限の重みを構成する。
• このフレームワークを用いて、有限積を持つ2圏におけるモノイド対象を重み付き極限として定義する。
• 双モノイドやモノイド作用といった構造へは、関連する代数的公理を捉えるようにoperad行列を適応することで拡張する。
• 対称的かつ可能であれば彩色付きのoperadを用いることで、代数的演算およびその整合性条件を柔軟かつ一般化可能に符号化できる。
• 全構成は2圏的設定内で形式化されており、高次元圏的推論と整合性を持つ。

実験結果

リサーチクエスチョン

• RQ1 2圏におけるモノイド圏対象上のモノイド対象を、重み付き極限を用いて体系的に定義する方法は何か？
• RQ2 対称的operadの行列は、このような極限の重みの定義を簡素化するために果たす役割は何か？
• RQ3 対称的モノイド圏対象上の双モノイドの構成も、重み付き極限として表現可能か？
• RQ4 モノイド圏作用に沿ったモノイド作用は、同じ重み付き極限フレームワークでどのように捉えられるか？
• RQ5 operad行列が、2圏における多様な代数的構造を重み付き極限として符号化する一般的なメカニズムは何か？

主な発見

• 有限積を持つ2圏におけるモノイド圏対象上のモノイド対象は、厳密に重み付き極限として定義可能である。
• 対称的operadの行列は、このような重み付き極限に必要な重みを構成するための効果的で体系的な方法を提供する。
• このフレームワークは双モノイドへも成功裏に一般化され、その構成が重み付き極限であることが示された。
• モノイド作用がモノイド圏作用に沿って定義される場合、提案されたoperad行列法を用いて重み付き極限として記述可能であることが示された。
• operad行列の使用により、同じ圏的枠組み内で多様な代数的構造を一様に取り扱える。
• この方法は、2圏における複雑なモノイド的および作用関連構造を定義する一貫性があり再利用可能なアプローチを確立した。