いわゆるfree monadは、確かに圏論的にもfreeである。 Free object あるforgetful functor: について、-initial morphism: のことを(特に代表して のことを)、free -object over というのであった。 命題 category: endofunctor: forgetful functor: につい…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。