Free functor object category: forgetful functor: について、ある -initial morphism: のこと(特に代表してのこと)を、free functor object over ということにする。 Discrete diagramから作った一番シンプルなfunctor、ということ。 Coends in sets Difun…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。