『関手』についてゆかりさんがきりたんに教える動画です。
間違い等のご指摘はやさしくしていただけると大変助かります。

◆動画目次
#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)
次: みんなで集合論？

◆連絡先
X (Twitter): https://twitter.com/7x127x36943
ぼすきー: @m7brer4cn3@voskey.icalo.net
メール: 7x127x36943@gmail.com