Enriched Yoneda lemma (weak form)
1-category of enriched functors
- monoidal category:
- -category:
について、-natural transformation を 1-cell とする 1-category は
であった。
記法
命題
- symmetric closed monoidal category:
- -category:
- -functor:
- -object:
について
しかも について 1-natural。
証明
とすればよい。
各枝が -(extra)natural ならば合わせても -(extra)natural であることに注意する。