Kan拡張

提供: Mathpedia

Kan拡張

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

Proof.

…

□
[証明]

//

□
「https://math.jp/w/index.php?title=Kan拡張&oldid=5437」から取得