プチ定義集：Hom関手

(4:59)

プチ定義集：随伴関手

(4:57)

プチ定義集：Hom加群

(6:11)

圏論の壁～Hom関手①～

(18:49)

【圏論】随伴関手の入門動画

(15:17)

（番外編）ホモロジー代数：Hom関手の左完全性について

(28:4)

プチ定義集：短完全列の分裂

(6:15)

プチ定義集：圏における極限

(4:58)

【数学小話】ホモロジー

(15:14)

第1回「ベーシック圏論」定義1.1.1（圏の定義）～例1.1.5（Setの同型射）

(31:40)

プログラマのためのモナド入門 稲見 泰宏 | プログラマのためのモナド入門

(48:12)

世界一やさしい圏論勉強会 #0 (対象と射 / 圏の例 / 合成射の存在と可換性)

(1:5:58)

圏論は宗教。はまり過ぎないように。

(10:27)

【圏論】米田の補題：証明と応用例について【米田への道4】

(18:59)

トポロジーと圏論の夜明け 佐野 岳人 | プログラマのための圏論勉強会

(39:44)

「スプラでイライラする理由」に気付いた関優太【スプラトゥーン3】

(11:21)

圏と関手 【 圏論とモナド #1 / 数学 解説 】

(13:21)

高校生でも雰囲気だけわかる圏論

(31:26)

【圏論】連続関手

(12:11)

[計算機科学向け] 圏論の基礎的概念１ - 関手の補足，始対象/終対象，圏の例，圏の構築方法

(2:19:40)

第3回「ベーシック圏論」定義1.2.1（関手の定義）演習問題1.2.20（関手の例）

(22:27)

圏論の壁～圏、関手、自然変換そして随伴～

(17:6)

プチ定義集：入射加群

(5:48)

プチ小技集：完全列とネーター性

(7:4)

【圏論】一般随伴関手定理について概要説明【Kan拡張】

(11:33)

【圏論】随伴関手と普遍性(普遍射)

(13:30)

ホモロジー代数 §1.7. R加群の完全関手

(42:11)

圏論の壁～Hom関手②～

(8:3)

プチ定義集：部分加群の和と直和

(6:57)