(Primitive recursive functionの圏論による表現) *1 命題 endofunctor: initial algebra: -morphism: について なる -morphism: (paramorphism) がただ一つ存在する。 証明 参考文献 art08_geuvers_poll.pdf *1:かえって分かりやすい(と思う)
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。