PS

Enriched Yoneda lemma いろいろ (weak form)

圏論 命題 Enriched Yoneda

Symmetric closed monoidal category \mathcal{V} = (\mathcal{V} _ 0, \otimes, I) において･･･

命題.1

  • \mathcal{V}-functor: F : \mathcal{B} ^ {\operatorname{op}} \otimes \mathcal{A} \to (\mathcal{V} )
  • \mathcal{V} _ 0-morphism の族: \big(K _ {B,B'} : \mathcal{B}(B,B') \to \mathcal{A}(KB,KB') \big) _ {B,B'}

について、Yoneda bijection:

f:id:mbps:20150417100118p:plain

は B についての \mathcal{V}-(extra)natural-lookingness を preserve する。

命題.2

Enriched Yoneda lemma (weak form) - PS で特に

  • F := \mathcal{B} \big(B, T(\unicode{0x2013}) \big)
    • T : \mathcal{A} \to \mathcal{B}
    • B \in \operatorname{ob} \mathcal{B}

のとき

f:id:mbps:20150417102013p:plain

参考文献