「カテゴリー論入門」セミナーについて

「カテゴリー論入門」のセミナーを、2月のマルゼミから始めたいと思っています。
「カテゴリー論入門」のセミナーは、次のような構成を考えています。

第一回：String Diagramを学ぶ

カテゴリー論の最初の入り口として、量子の世界を図形で表現しようとするString Diagram という手法を紹介したいと思います。

ここでは、先に見たString Diagramが、カテゴリー論の応用であることを見ていきます。
カテゴリー論の数学的な説明は、この回から始まります。

カテゴリー論の応用の可能性を大きく拡大した、John Baezの仕事を紹介します。

参考文献
John Baez,Mike Stay ：”Physics, Topology, Logic and Computation:"A Rosetta Stone” https://math.ucr.edu/home/baez/rosetta.pdf

21世紀に入って、カテゴリー論は数学を基礎づける理論として新たな注目を集めます。
こうした動きを主導したVoevdskyの仕事を紹介します。