圏論の基礎 - 自然変換の合成の理解と練習

(19:10)

自然変換の合成の理解 - 演習 モナドの可換図を解釈してみる -

(33:35)

自然変換と合成 【 圏論とモナド #2 / 数学 解説 】

(15:36)

世界一やさしい圏論勉強会 #4 (劣自然変換・自然変換・自然同型の例 / 函手圏)

(1:3:47)

第20回「ベーシック圏論」注意1.3.24（恒等自然変換との水平合成）

(9:17)

第19回「ベーシック圏論」注意1.3.24（自然変換の水平合成）

(17:20)

世界一やさしい圏論勉強会 #3 (函手の実装例 / 函手と函手の関連性 / 自然変換 / 自然変換の実装例)

(1:1:58)

[圏論]米田の補題を最短で紹介する#4(自然変換と垂直合成)

(2:23)

世界一やさしい圏論勉強会 #1 (Hom 集合の自明な対応関係 / 恒等射の存在と単位律)

(1:5:53)

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

(1:5:58)

ラプラス変換（1-2)【応用数学B第1回オンデマンド動画・2020年度東北大学工学部】

(21:59)

ラプラス変換（1-1)【応用数学B第1回オンデマンド動画・2020年度東北大学工学部】

(22:54)

【やさしい一般相対論講座④】クリストッフェルの変換性と計量による表示を丁寧に導出！！

(57:6)

【集合論#22】対角線論法

(20:47)

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

(48:12)

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

(31:26)

【Applied Category Theory】How Mathematics deal with Circuits and Flow-Charts. Think with Categories !

(28:54)

20分で分かるテンソルの本質[応力テンソルと二次元の応力変換公式]

(20:25)

自然変換のイメージ強化 - 集合の圏による表現を使って -

(25:52)

とりあえずの圏論の導入ー圏・関手・自然変換ー（後編）関手と自然変換

(47:18)

とりあえずの圏論の導入ー圏・関手・自然変換ー（前編）圏

(1:9:22)

第22回「ベーシック圏論」注意1.3.24（自然変換の垂直合成と水平合成の交換法則の証明）

(13:55)

第27回「ベーシック圏論」演習問題1.3.34（恒等自然変換との水平合成は同型を保つ）

(4:21)

第10回「ベーシック圏論」定義1.3.1（自然変換の定義）～例1.3.3（離散圏からの関手・自然変換）

(13:)

圏論の基本

(15:58)

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

(17:6)

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

(13:21)

圏論を通して見る新世界【圏論の哲学、圏、関手、自然変換】

(50:44)