0x セミナー第 1 回
「Kan 拡張入門」
[0x01] Kan 拡張入門
セミナー第 1 回は,ウェブサイト「壱大整域」管理人の alg-d 氏に,同ウェブサイト内にて解説されている Kan 拡張に関する内容をベースとするご講演をお願いしています.
日付:2020/8/29(土)
時間:13:00〜18:00(予定)
場所:オンライン (Zoom)
申し込み締め切り:2020/8/26(水)23:59
聴講には事前登録が必要です.オンライン開催の都合で定員を設けますので,抽選が行われる場合があります.予めご了承ください.セミナー詳細の連絡は 8/27 頃を予定しています.
※なお,本セミナーの様子はご厚意で alg-d 氏が YouTube チャンネルへミラー配信する予定とのことです.ただし,セミナー中の質疑や議論等は Zoom 上でのみ受け付ける予定です.Youtube 上での聴講者の方からの質疑等は世話人の方では承ることはできません.また,セミナー後の継続討論会への参加権につきましても申し込み者に限らせていただきます.
更新情報
[7/29] 申し込み締め切り 2020/8/26(水)23:59 について追記しました.
[8/15] alg-d 氏からいただいた講演概要と当日の仮プログラムを追記しました.
[8/15] 現時点では申し込みいただいた皆様にご参加いただける見通しです.
[8/16] Youtube 中継に関する諸注意を追記しました.
[8/27] セミナー接続情報を含む Google Calendar 予定への招待を皆様にお送りしました.(申し込みをしたのに招待の届いていない方はお手数ですが世話人までご連絡ください.)
[9/03] alg-d 氏のチャンネルでの YouTube へのミラー配信アーカイブへのリンクを追加しました.
YouTube 側への配信
講演者 alg-d 氏のご厚意により本セミナーの様子を同氏の YouTube チャンネルへミラー配信しました.アーカイブはこちらです:【圏論】第1回0xセミナー「Kan拡張入門」 - YouTube
講演概要
「壱大整域」管理人 alg-d
今回は「圏論はなんとなく触ったことはあるけど……」というような人(※1)を対象に,Kan拡張を導入して扱えるようになることを目的として講演します.
Kan拡張とは普遍性により定義される関手であり,圏論においては様々な箇所で活用することができます.ここで普遍性による定義というと圏論では非常によく使う方法ではありますが「なんか存在するらしいけど何なのかはよくわからない……」という感想になりがちではないでしょうか.実はKan拡張の場合は,(応用上多くの場合においては)各点Kan拡張という手法を使うことにより具体的に計算することができます.そこでひとまずはこの各点Kan拡張ができるようになることを目指します.これさえ出来れば,具体例に応用する場合は(頑張って)計算すればよいということになります.
そして各点Kan拡張は(上記のような利点だけでなく)理論上でも非常に重要で,様々な定理を示すことができます.ここではその一例として「普遍随伴」を紹介して終わろうと思います.
※1 目安としては http://alg-d.com/math/kan_extension/ 第0章程度
プログラム
13:00 開場
13:15 セミナー
14:45 休憩
15:00 セミナー
16:30 休憩
17:00 セミナー
18:00 閉場
19:30 継続討論会
21:30 継続討論会 終了
※ Submit 後にメッセージの無い白いページが出る場合がありますが,メールが届いていれば申し込みは完了しています.