[論文レビュー] Notes on Category Theory with examples from basic mathematics

Paolo Perrone|arXiv (Cornell University)|Dec 23, 2019

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 11

ひとこと要約

この論文は、基本的な数学からの具体例を用いて、圏論の入門をわかりやすく提供しており、圏、ファンクター、自然変換、普遍的性質といった概念を直感的で基礎的な視点から枠組みづけている。また、圏が特定のモノイドの代数として正確に表現されることを示し、ファンクターがこれらの代数の準同型であることを示しており、圏論的構造と代数的モノイド理論を統合している。

ABSTRACT

These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced mathematics, nor any of the disciplines where category theory is traditionally applied, such as algebraic geometry or theoretical computer science. The only knowledge that is assumed from the reader is linear algebra. All concepts are explained by giving concrete examples from different, non-specialized areas of mathematics (such as basic group theory, graph theory, and probability). Not every example is helpful for every reader, but hopefully every reader can find at least one helpful example per concept. The reader is encouraged to read all the examples, this way they may even learn something new about a different field. Particular emphasis is given to the Yoneda lemma and its significance, with both intuitive explanations, detailed proofs, and specific examples. Another common theme in these notes is the relationship between categories and directed multigraphs, which is treated in detail. From the applied point of view, this shows why categorical thinking can help whenever some process is taking place on a graph. From the pure math point of view, this can be seen as the 1-dimensional first step into the theory of simplicial sets. Finally, monads and comonads are treated on an equal footing, differently to most literature in which comonads are often overlooked as "just the dual to monads". Theorems, interpretations and concrete examples are given for monads as well as for comonads. This work, thoroughly revised and expanded, is now a book, with an extra section on monoidal categories.

研究の動機と目的

• 数学および関連分野の初心者向けに、自己完結的で具体例に基づいた圏論の入門を提供すること。
• 圏、ファンクター、自然変換、普遍的性質といった基礎的概念を、馴染みのある数学的構造を用いて明確にすること。
• 有向グラフ上のモノイドの代数として圏が正確に表現されることを示し、圏論とモノイド理論の深い関係を確立すること。
• 圏間のファンクターが、これらのモノイド代数の準同型であることを示し、圏論的および代数的視点を統合すること。

提案手法

• 圏を関係、演算、写像を伴う構造的空間としての複数の直感的解釈を用いる。
• 有向グラフの圏上のモノイド T を定義し、T-代数が圏に対応することを示す。
• グラフ内のウォークに合成と単位の公理を代数的構造として埋め込むことで、モノイド T を構成する。
• ウォークの合成を用いて単位および乗法の公理を検証することで、T-代数が正確に小さな圏であることを証明する。
• モノイド構造を含む重要な図式の可換性を検証することで、圏間のファンクターが T-代数の準同型に正確に対応することを示す。
• ヤオダの補題と普遍的性質を用いて、表現可能性と標準的写像に基づく圏論的構成を根拠づける。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、基本的な数学的例と直感的解釈のみを用いて圏論を導入できるか？
• RQ2 圏論の公理を裏付ける代数的構造（特にモノイド）は何か？
• RQ3 圏がモノイドの代数として見なされた場合、ファンクターは正確にそれらの圏間の準同型であるか？
• RQ4 積、極限、随伴の普遍的性質が、このモノイド的枠組みから導出可能で、理解可能であるか？
• RQ5 ヤオダの補題と表現可能性は、この代数的枠組みにおいて自然にどのように現れるか？

主な発見

• 圏は、ウォークを介して合成と単位の公理を符号化するモノイド T による有向グラフの圏上の代数として正確に表現される。
• ファンクターは、T-代数の準同型に正確に対応しており、それらがモノイド構造を保存し、関連する図式を可換にする。
• T-代数構造により、単位および乗法の公理を通じて、恒等射および結合の結合則が構成上満たされる。
• ヤオダ埋め込みと普遍的性質は、この枠組み内で自然に回復され、表現可能関手がモノイド代数構造を通じて対象に対応することが示される。
• この構成により、圏およびファンクターの明確で代数的な特徴づけが得られ、圏論的および普遍的代数的視点が統合される。
• この結果は、極限、随伴、普遍的構成といった圏論の全体的枠組みが、モノイド代数的構造の具体例として見なせることを示している。