10/26 マルレク「カテゴリー論基礎 2」コンテンツ公開の詳細
【 10/26 マルレク「カテゴリー論基礎 2」概要 】
このセミナーは、2024年5月に行った「カテゴリー論基礎」 https://www.marulabo.net/docs/category-theory/ の続編です。
5月のセミナーでは、カテゴリー論の基本的な構成要素である、Category, Functor, Natural Transformation とは何かを概説し、その上で、LimitやCoLimit,という構成を可能にするUniversal Propertyというコンセプトを紹介してきました。
実は、カテゴリー論が誕生したときに、5月のセミナーで紹介したような Category, Functor, Natural Transformation といった基本的な概念は出揃っていました。ただ、その道具箱の中には、Adjointという概念 は含まれてませんでした。カテゴリー論に、Adjointという概念を導入したのは、Daniel Kanの仕事です。 Kanは、Adjointという概念を武器に、「Kan Extension」という枠組みを作り上げ、従来のカテゴリー論の全てを、その枠組みのもとで再構成することに成功します。
このセミナーでは、カテゴリー論における adjoint概念の役割と基本的な性質について解説しています。
【 10/26 マルレク「カテゴリー論基礎 2」講演ビデオと講演資料のURLです 】
セミナーは3つのパートに分かれています。個別にも全体を通してもアクセスできます。
--------------------------
全体を通して見る
--------------------------
● 「カテゴリー論基礎 2」セミナーの講演ビデオ全体の再生リストのURLです。
全体を通して再生することができます。
https://www.youtube.com/playlist?list=PLQIrJ0f9gMcNtQXc5hw-mGz_qdZdy2Sf-
● 講演資料全体を一つのpdfファイルにまとめたものはこちらです。
「カテゴリー論基礎 2」講演資料
https://drive.google.com/file/d/1D59l8MZEkZAx4GBH-W-u0LgZyx9MuI1k/view?usp=sharing
--------------------------
パートごとに見る
--------------------------
● Part 1 Adjoint functor成立以前
講演資料 pdf :
https://drive.google.com/file/d/1CgDlZraW3L8i45_01H2fS9fE_MekixOD/view?usp=sharing
● Part 2 Adjoint functor
講演ビデオURL :
https://www.youtube.com/watch?v=kygtBPD54zg&list=PLQIrJ0f9gMcNtQXc5hw-mGz_qdZdy2Sf-
講演資料 pdf :
https://drive.google.com/file/d/1CsEaMx1YUIZ8GyRS-MSG1Zthggs130IY/view?usp=sharing
● Part 3 unitとcounit
講演ビデオURL :
https://youtu.be/XrRwsQWciA8?list=PLQIrJ0f9gMcNtQXc5hw-mGz_qdZdy2Sf-
講演資料 pdf :
https://drive.google.com/file/d/1Cy0CVmH6PROzJAe2EfNUdY79gjqKiEZx/view?usp=sharing
-----------------------------
今回のセミナーのまとめページはこちらです。https://www.marulabo.net/docs/categorytheory2/
「カテゴリー論基礎 2 」tセミナーに向けたショートムービーの再生リストはこちらです。ご利用ください。
https://www.youtube.com/playlist?list=PLQIrJ0f9gMcMWBgOatjc5-tXBEO9SZc1r
---------------------------
コメント
コメントを投稿