"【圏論】圏の圏を考えたい！そうだ関手を定義しよう！" の動画はこちら
|
この動画をTwitterで共有！ |
外部プレーヤー埋め込みタグ |
"【圏論】圏の圏を考えたい！そうだ関手を定義しよう！"のニコニコ動画詳細情報
【圏論】圏の圏を考えたい！そうだ関手を定義しよう！
【圏論】圏の圏を考えたい！そうだ関手を定義しよう！
『関手』についてゆかりさんがきりたんに教える動画です。間違い等のご指摘はやさしくしていただけると大変助かります。◆動画目次#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◆YouTubehttps://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)次: みんなで集合論？
動画ID：sm41877949
再生時間：27:19
再生回数：再生回数:6,165 回
コメント数：48
マイリスト数：11
最新のコメント：ﾌｧﾝｸﾀｧ これから毎日数学... うぽつ 準同型？ 数学系と情報系は... きりたんかわいい 文字に押しのけら... まあ圏の圏を構成... 概念のスマブラ草 抽象化の光明面だ 真のクラスが当然...
タグ：VOICEROID解説,voiceroidファンの数学サイド,ニコニコ動画講座
"【圏論】圏の圏を考えたい！そうだ関手を定義しよう！" の関連お勧め情報 検索結果