この動画を視聴するためには、
プレミアム会員登録が必要です。
プレミアム会員登録
プレミアム会員登録
購入ページ
00:00
00:00
広告 : (
)
この広告は
5
秒後にスキップできます
5
秒後にスキップできます
広告をスキップ
スキップする
プレミアム会員になると動画広告や動画・番組紹介を非表示にできます
45
本作品は権利者から公式に許諾を受けており、
広告の収益は権利者に還元されます。
(※プレミアム会員にも表示されます)
この動画は非公開に設定されています
ボイロと数学
【圏論】圏の圏を考えたい!そうだ関手を定義しよう!
︙
2023/3/5
2023/3/5 10:00
投稿
5,883
5,883
45
45
11
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)
次: みんなで集合論?
◆
連絡先
X (Twitter):
https://twitter.com/7x127x36943
ぼすきー:
@m7brer4cn3@voskey.icalo.net
メール:
7x127x36943@gmail.com
シリーズ
前の動画はありません
次の動画はありません
もっと見る
️️️️
フォローする
フォロー中
登録する
あとで見る
マイリスト
ニコニ広告
共有
アプリで視聴
解説・講座
VOICEROID解説
voiceroidファンの数学サイド
ニコニコ動画講座
数学
結月ゆかり
東北きりたん
ソフトウェアトーク解説
圏論
タグ編集
タグを調べる