完全版(のつもり)。 記法 Functor について natural transformation: を以下のように描く: Naturality: を箱が筒抜けになっていることによって表現した。?ノードは無名関数の無名パラメータ。 この時点で証明は終わったも同然になる。 命題: Yoneda lemma F…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。