Forgetful functor 等は習ったが、 一般の場合の定義は難しいらしい。 Free object forgetful functor: -object: について、free object on とは、 comma category のinitial objectのこと。つまり、initial morphism: のこと。 -object から一番シンプルに…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。