(と呼ぶくらいしか思いつかない) 補題: Close(curry) isomorphisms 命題 Evaluation -functor の族: は 2-functor: を create する。 証明 Yoneda bijection により となるが、 についての -naturality つまり 2-naturality は preserve される*1ので、あと…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。