暇つぶし2chat MATH

- 暇つぶし2ch131:ース・マックレーンによる、代数的位相幾何学において直感的/組み合わせ的に定義されていたホモロジー・コホモロジーを公理化する研究の中で圏、関手および自然変換が実際に定義されたアイレンベルグとマックレーンの目的は、位相空間の理論と可換群の理論のような異なる数学的体系の間の自然変換を理解することだったが、そのためには関手の概念が必要であり、関手を定義するためには圏の概念が必要だったのであるその後アレクサンドル・グロタンディークらによるホモロジー・コホモロジー理論を圏論に基づいて定式化する試みの中で、アーベル圏・三角圏など、関手を計算するうえで期待される重要な性質を持つクラスの圏が公理化されていった一方、ガロア理論の圏論化を通じ、群が作用する集合の圏と通常の位相空間を圏論の枠組みで包括的にとらえるようなトポスの概念が得られた http://www.phys.cs.is.nagoya-u.ac.jp/~tanimura/lectures/tanimura-category.pdf 物理学者のための圏論入門谷村省吾名大20170328 はじめにこの講演では，圏論にまったく馴染みのない方に圏論の基本的な考え方と基本的な語彙をお伝えしたいと思います