【圏論】圏の圏を考えたい！そうだ関手を定義しよう！
- 2023/03/05 10:00:00 投稿
- 再生数：5878
- マイリスト数：11
『関手』についてゆかりさんがきりたんに教える動画です。間違い等のご指摘はやさしくしていただけると大変助かります。◆動画目次#00:00 前回のあらすじ・おさらい#01:21 関手のイメージ・定義#03:51 関手の例 - 恒等関手#05:40 関手の例 - 直積#08:20 関手の例 - 順序を保つ写像#10:36 関手の例 - 忘却関手#12:37 関手の例 - 表現可能関手#15:52 圏の圏 Cat, CAT#21:16 関手は同型を保つ#25:25 まとめ◆補足情報・あとがき https://bit.ly/3Y0ix01 ◆YouTube https://youtu.be/8ycVEcgH4bI ◆関連動画きりたんと圏論 sm39632031 前回 (葵ちゃんとカオス) sm41351109 ◆参考文献一覧●Tom Leinster, Basic Category Theory. Cambridge University Press, 2014.●中岡宏行, 圏論の技法. 日本評論社, 2015.●CAT in nLab, https://ncatlab.org/nlab/show/CAT (2023/03/05)次: みんなで集合論？