第6回「ベーシック圏論」定義1.2.10（反変関手）～定義1.2.15（前層）

(19:22)

第7回「ベーシック圏論」定義1.2.16（忠実な関手・充満な関手）～注意1.2.19（関手の像は部分圏とは限らない）

(12:50)

第9回「ベーシック圏論」演習1.2.28(b)

(9:33)

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

(22:27)

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

(13:)

言語学の研究対象を定義した男【ソシュール知ったかぶり講座1】 #16

(28:18)

【圏論】始めるときの注意 数学史 グロタンディーク

(9:33)

20250110 症状・感じるだけでは治らないときの対処法

(1:17:38)

数学とは？ | 森田 真生 | TEDxKyoto

(9:28)

【大学数学】単射・全射・全単射【集合論】

(18:1econd)

【ゆっくり解説】計算機によって結果が変わる『 6÷2(1+2) 』論争

(8:7)

圏論で数学の\

(10:53)

京都大学理学部「基礎数学からの展開A」雪江 明彦（理学研究科 教授）第1回 2015年4月13日

(1:21:22)

世界一やさしい圏論勉強会 #2 (合成射の結合律 / 函手と準同型性)

(1:8:3)

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

(15:36)

第8回「ベーシック圏論」演習1.2.21（関手が同型を保つこと）, 1.2.23（圏同型）, 1,2.25（直積圏からの関手）

(17:35)

第12回「ベーシック圏論」定義1.3.10（自然同型）～定義1.3.12（自然に同型）

(10:16)

第11回「ベーシック圏論」構成1.3.6（関手圏）～例1.3.7（2つの対象からなる離散圏からの関手）

(18:21)

第5回「ベーシック圏論」例1.2.3（忘却関手）例1.2.4（自由関手）

(11:54)

第4回「ベーシック圏論」注意1.2.2(b)（圏の圏）

(9:34)

第15回「ベーシック圏論」定義1.3.17（対象について本質的に全射）・命題1.3.18（関手が圏同値を与える必要十分条件）・演習問題1.3.32(a)（命題1.3.18の証明の前半）

(10:6)

第2回「ベーシック圏論」例1.1.8（圏の例）～演習問題1.1.14（直積圏）

(28:3)

第14回「ベーシック圏論」演習問題1.3.28（標準的な関数）・定義1.3.15（圏同値）

(6:29)

第24回「ベーシック圏論」演習問題1.3.27

(8:48)

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

(31:40)

第6回圏論勉強会@ワークスアプリケーションズ

(1:53:8)

第16回「ベーシック圏論」命題1.3.18（関手が圏同値を与える必要十分条件）・演習問題1.3.32(b)（命題1.3.18の証明の後半）

(17:15)