(String diagram による Yoneda lemma の証明 rev.2 - PS の続き・・・) Variance を?マークの向きで表すことにする。 Contravariant Yoneda bijection 定義: Yoneda embedding 記法 Natural transformation: を次のように表す: 命題 Yoneda embedding は full…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。