Kan拡張

提供: Mathpedia
2021年5月1日 (土) 20:46時点における数学市民 (トーク | 投稿記録)による版 (→‎Kan拡張)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)

Kan拡張

Kan拡張(Kan extension)とは、全ての概念である。

Proof.

[証明]

//