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

(11:33)

【圏論】随伴はKan拡張である

(12:55)

【圏論】Kan拡張：定義と計算方法【全ての概念への第一歩】

(15:24)

【圏論】随伴とは「行き来ができる」ということ

(12:17)

【圏論】随伴関手を図式で定義する

(18:50)

Comprehensible Japanese Beginner これ、それ、 あれ、どれ

(7:50)

教え合い、そして学び合う | 舩橋 理仁 | TEDxNagoyaU

(14:43)

【初学者向けシリーズ】部分意匠の類否判断について

(1:1:52)

圏論で数学の\

(10:53)

【Japanese Lesson】「について」「に関して」は　おなじ！？　日本人も知らない違いについて。

(7:39)

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

(31:40)

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

(48:12)

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

(15:36)

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

(13:21)

「線型圏の導来同値と被覆理論」浅芝秀人 教授 - 静岡大学 理学領域 【研究者紹介】

(26:37)

【圏論】左Kan拡張の「左」って何?

(11:57)

【圏論】随伴は圏同値の一般化

(8:36)

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

(13:30)

プチ定義集：随伴関手

(4:57)

第29回「ベーシック圏論」第2章への導入(随伴のイメージ)

(6:36)

【圏論】第1回0xセミナー「Kan拡張入門」

(5:6:47)

【圏論】Kan拡張を仮定した、位相空間上の層の解説【すべKan】

(1:12)

【圏論】関手圏の間の関手

(24:45)

【圏論】連続関手

(12:11)

第30回「ベーシック圏論」定義2.1.1（随伴の定義）～注意2.1.2(d)（随伴の一意性）

(20:11)

【論文見る】「カラテオドリ」「ラドン=ニコディム」はKan拡張らしい【圏論】

(1:55:34)

圏論の壁～Hom関手①～

(18:49)

「全ての概念はKan拡張である」ってことは選択公理もKan拡張なんですかぁ？ｗ

(11:53)