PS

2016-01-29から1日間の記事一覧

String diagram による Yoneda lemma の証明

@deprecated 代わりに String diagram による Yoneda lemma の証明 rev.2 - PS を参照。 (・・・というよりそのための記法) Yoneda lemma 記法.1 Contravariant なので逆さにするんだけど紙面の都合上、 について と書くことにする。 記法.2 Natural transforma…